Research Engineer
Atul Saxena
I build the environments models are trained in, and the tools that show what they learned.
- RL Systems
- Interpretability
- ML Infrastructure
Research Engineer
Atul Saxena
I build the environments models are trained in, and the tools that show what they learned.
Mathematical search you can inspect
An evidence-aware neuro-symbolic mathematics platform in Rust. It searches a stable registry of rules, records every transformation it applies, and returns the result with a precise verification status.
A model that produces a correct-looking answer with no derivation gives you nothing to check. And a system that reports "verified" for both a formally checked step and a heuristic guess is lying by compression.
status: Research prototype · Blackdrome AI Labs