George Tsoukalas Jasper Lee John Jennings Jimmy Xin Michelle Ding Michael Jennings Amitayush Thakur Swarat Chaudhuri
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition