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)