Artificial Evaluation Network
A runtime architecture for exact-answer mathematical reasoning with Runtime-at-Boot, certified context loading, Athena-Aria-Artemis role separation, and controller-owned finalization.
Neohm Labs - AEN, AthenaV5, VoE, and Canon DSL
Runtime systems for mathematical reasoning and classroom AI.
Neohm Labs brings together AthenaV5, the Artificial Evaluation Network, Vault of Echoes, and Canon DSL: a research stack for exact-answer reasoning, auditable benchmark artifacts, synthetic mathematical data, and teaching interfaces that can be reviewed after the answer is produced.
Public research surface
The root domain is a stable academic shell for Neohm Labs: research summaries, artifact links, benchmark policy, legal pages, and redirects into the live AthenaV5 portal.
Preprint
AEN
Dataset
VoE-2026
Portal
AthenaV5
neohmlabs.com research shell neohmlabs.com/portal AthenaV5 redirect neohmlabs.com/vault Vault of Echoes neohmlabs.com/profile founder profile
This root site is the public shell. The live app stays on the portal subdomain so the static homepage can deploy safely.
Research program
Neohm Labs studies inference-time architecture: what a model reads before a problem, how memory is certified, how solver/verifier roles pressure each other, and how a controller emits exact answers with evidence attached.
Canon DSL v2.1
A metadata-first schema for distilling solved mathematics problems into objects, givens, invariants, theorem roles, answer contracts, checks, and same-family generation plans.
Vault of Echoes 2026
A 25-problem public-answer mathematical reasoning benchmark built from lore-wrapped exact-answer puzzles. The release includes parquet/csv data, public key, scorer, manifest, checksums, and benchmark use policy.
AthenaV5 portal
The live portal is the teaching and reasoning interface. Root-domain routes such as /portal,
/athena, and legacy Athena paths forward to the portal subdomain.
Evidence with boundaries
The public artifact trail separates blind benchmark diagnostics, answer-aware replays, context-recall tests, and planning packages. Strong claims are useful only when their evidence class is visible.
Selected AEN results
- 21/30 AIME Q1-Q30 in the April 27 compact benchmarkgrade artifact at 128,625 mean tokens/problem.
- 22/30 unrestricted one-loop reference with much larger generation room and about 1,125,451 mean tokens/problem.
- 29/30 V34 answer-aware Runtime-at-Boot repair replay, labeled as context-recall and runtime preservation evidence rather than a blind benchmark score.
Artifact discipline
Neohm artifacts favor source packages, manifests, checksum ledgers, public data schemas, and narrative correction notes. The aim is not to erase failed experiments, but to make failures useful enough that the next run is more scientific.
Source packages
Manifests
Checksums
Exposure labels
Portal routing
The portal is intentionally on portal.neohmlabs.com. This keeps the static root website, legal pages,
and profile pages deployable through Netlify while the live AthenaV5 application can operate independently.
Current public portal
The canonical application entry is https://portal.neohmlabs.com/AEN5. Root paths such as
/portal, /athenav5, and /athena redirect there.
Public site responsibilities
The root domain now handles public identity, profile/CV, project descriptions, policy pages, and stable links. The portal subdomain handles the live learning and reasoning app.
Root: public shell
Portal: app
Netlify-safe
Contact and professional profile
For collaboration, institutional pilots, benchmark work, or artifact review, use the profile route below.
Profile and CV
The professional profile page contains the CV, publications, datasets, current systems, and contact links associated with the lab's research program.
Useful routes
/aadityapaudel -> profile, CV, publications /portal -> AthenaV5 portal redirect /vault -> Vault of Echoes /terms -> terms of use /privacy -> privacy notice