Amrith Setlur

Identifiers

• name variant Amrith Setlur 0.60 · backfill

Papers (2)

1. QED-Nano: Teaching a Tiny Model to Prove Hard Theorems cs.AI · 2026 · author #3
2. Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoning cs.LG · 2024 · author #1

Mentions

• 2410.08146 #1 · arxiv_oai · confidence 0.70 Amrith Setlur

Frequent Coauthors

• Aviral Kumar 2 shared papers
• Adam Fisch 1 shared papers
• Alekh Agarwal 1 shared papers
• Chirag Nagpal 1 shared papers
• Edward Beeching 1 shared papers
• Ian Wu 1 shared papers
• Jacob Eisenstein 1 shared papers
• Jasper Dekoninck 1 shared papers
• Jia Li 1 shared papers
• Jonathan Berant 1 shared papers
• Lewis Tunstall 1 shared papers
• LM-Provers 1 shared papers
• Rishabh Agarwal 1 shared papers
• Xinyang Geng 1 shared papers
• Yuxiao Qu 1 shared papers