Amitayush Thakur

1. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
   2024/07/15 by George Tsoukalas, Tsoukalas, George, Jasper Lee +14 · 2 voices · 43 citations
   Computer Science · Physics and Astronomy · #Model Reduction and Neural Networks #Neural Networks and Applications #cs.AI #cs.CL #cs.LG #cs.LO #cs.PL
2. An In-Context Learning Agent for Formal Theorem-Proving
   2023/10/06 by Amitayush Thakur, Thakur, Amitayush, Yeming Wen +5 · 17 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Semantic Web and Ontologies #Topic Modeling
3. CLEVER: A Curated Benchmark for Formally Verified Code Generation
   2025/05/20 by Amitayush Thakur, Jasper Lee, Thakur, Amitayush +14 · 10 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
4. ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
   2025/02/07 by Amitayush Thakur, George Tsoukalas, Thakur, Amitayush +5 · 1 voice · 1 citation
   #cs.AI #cs.LG #cs.LO #cs.PL