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