Aditya Ramabadran is a member of technical staff at Axiom Math, where he works on post-training for formal mathematical reasoning agents. He co-led its post-training pipeline and contributed to formalizing the bounded-prime-gaps result in Lean. He previously studied mathematics and computer science at UC Berkeley.
Aditya Ramabadran is a member of technical staff at Axiom Math, where he works on post-training for formal mathematical reasoning agents. He co-led its post-training pipeline and contributed to formalizing the bounded-prime-gaps result in Lean. He previously studied mathematics and computer science at UC Berkeley.