TY  - RPRT
TI  - PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
AU  - George Tsoukalas
AU  - Jasper Lee
AU  - John Jennings
AU  - Jimmy Xin
AU  - Michelle Ding
AU  - Michael Jennings
AU  - Amitayush Thakur
AU  - Swarat Chaudhuri
PY  - 2024
UR  - https://arxiv.org/abs/2407.11214
ID  - 2407.11214
ER  -