An NLP/AI graduate student at Carnegie Mellon University's School of Computer Science with experience at Mistral AI.
Referenced in coverage
“Anmol Agarwal is a lead author of a research paper on Verus-SpecGym, an agentic environment for evaluating specification autoformalization in AI coding agents.”