PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
G. Tsoukalas, Jasper Lee, J. Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
Neural Information Processing Systems