Anmol Agarwal

Identifiers

• name variant Anmol Agarwal 0.60 · backfill

Papers (3)

1. Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization cs.SE · 2026 · author #1
2. Voxtral TTS cs.AI · 2026 · author #35
3. Voxtral Realtime cs.AI · 2026 · author #26

Mentions

• 2605.26457 #1 · arxiv_oai · confidence 0.70 Anmol Agarwal

Frequent Coauthors

• Abhinav Rastogi 2 shared papers
• Adrien Sad\'e 2 shared papers
• Alan Jeffares 2 shared papers
• Albert Jiang 2 shared papers
• Alexandre Cahill 2 shared papers
• Alexandre Gavaudan 2 shared papers
• Alexandre Sablayrolles 2 shared papers
• Am\'elie H\'eliou 2 shared papers
• Amos You 2 shared papers
• Andrew Bai 2 shared papers
• Andy Ehrenberg 2 shared papers
• Andy Lo 2 shared papers
• Angele Lenglemetz 2 shared papers
• Anton Eliseev 2 shared papers
• Antonia Calvi 2 shared papers
• Arjun Majumdar 2 shared papers
• Avi Sooriyarachchi 2 shared papers
• Baptiste Bout 2 shared papers
• Baptiste Rozi\`ere 2 shared papers
• Baudouin De Monicault 2 shared papers