PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. - George Tsoukalas; Jasper Lee; John Jennings; Jimmy Xin; Michelle Ding; Michael Jennings; Amitayush Thakur; Swarat Chaudhuri (NeurIPS, 2024)

ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving. - Amitayush Thakur; George Tsoukalas; Greg Durrett; Swarat Chaudhuri (CoRR, 2025)

CLEVER: A Curated Benchmark for Formally Verified Code Generation. - Amitayush Thakur; Jasper Lee; George Tsoukalas; Meghana Sistla; Matthew Zhao; Stefan Zetzsche; Greg Durrett; Yisong Yue; Swarat Chaudhuri (CoRR, 2025)