# Aaditya Paudel

Founder and creator, Neohm Labs  
Instructor of Mathematics, Miami University  
Department of Mathematical and Physical Sciences  
Email: paudela8@miamioh.edu  
GitHub: https://github.com/Aadityapaudel2  
Gravatar: https://gravatar.com/aadityapaudel

## Profile

Aaditya Paudel works at the intersection of mathematics education, AI system design, exact-answer evaluation, benchmark construction, and long-context runtime engineering. His current work develops runtime architectures for mathematical reasoning: multi-role solver/verifier systems, certified context loading, controller-owned finalization, answer normalization, and auditable evidence packages.

## Current Appointment

Instructor of Mathematics, Miami University, Department of Mathematical and Physical Sciences.

## Neohm Labs

Founder and creator of Neohm Labs, the public studio behind AthenaV5, Artificial Evaluation Network (AEN), Canon DSL v2.1, Vault of Echoes, RuntimeAtBoot, and related mathematical reasoning artifacts.

## Publications and Public Records

1. Aaditya Paudel. *Artificial Evaluation Network (AEN): Runtime-at-Boot, Certified Context Loading, and Triadic Controller Algorithms for Mathematical Reasoning*. Preprint, Zenodo, 2026. DOI: 10.5281/zenodo.19701459.
2. Aaditya Paudel. *Canon DSL v2.1: Metadata-First Distillation for Synthetic Mathematical Data*. Preprint, Zenodo, 2026. DOI: 10.5281/zenodo.19694800.
3. Aaditya Paudel. *Vault of Echoes 2026*. Dataset, Hugging Face, 2026. DOI: 10.57967/hf/8554.
4. Aaditya Paudel and P. Acharya. *UI-Native One-Shot Benchmarking for Mathematical Reasoning in Chat-Based LLM Systems*. Zenodo, 2026. DOI: 10.5281/zenodo.18216959.
5. Aaditya Paudel. *Vault of Echoes: Volume I*. Puzzle codex and source archive, 2026. DOI: 10.5281/zenodo.18207613.

## Selected Systems and Artifacts

- Artificial Evaluation Network (AEN): triadic Athena-Aria-Artemis reasoning, Runtime-at-Boot certification, and controller-owned finalization.
- AthenaV5: live classroom and reasoning portal at https://portal.neohmlabs.com/AEN5.
- Canon DSL v2.1: metadata-first schema for synthetic mathematical data distillation and generation.
- Vault of Echoes: lore-heavy exact-answer puzzle benchmark family.
- RuntimeAtBoot: Kaggle dataset package supporting the AEN runtime surface.
- Two LLM Model Evaluator: public solver/verifier evaluator lineage.

## Selected Evidence Highlights

- AEN April 27 benchmarkgrade artifact: 21/30 on AIME Q1-Q30 at 128,625 mean tokens/problem, within one problem of the unrestricted 22/30 reference while using about 11.4% of the unrestricted mean token budget.
- AEN V34 Runtime-at-Boot replay: 29/30 in an answer-aware repair replay, labeled as context-recall and runtime preservation evidence rather than a blind benchmark claim.
- VoE-2026 release: 25-problem public-answer exact-integer benchmark with scorer, manifest, checksums, and benchmark use policy.

## Specialties

Mathematical reasoning; exact-answer evaluation; long-context inference; Runtime-at-Boot; controller algorithms; synthetic mathematical data; benchmark curation; classroom-first AI interfaces; mathematics instruction.