Aditya Ramabadran is a Member of Technical Staff at Axiom Math who works on post-training for formal mathematical reasoning agents.
Referenced in coverage
“DrivingBench co-founder who designed and executed LLM-controlled vehicle driving experiment in parking lot.”