PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Item #:

079017-0368

Details

DOI: https://doi.org/10.52202/079017-0368
Author(s): Swarat Chaudhuri, Michelle Ding, John Jennings, Michael Jennings, Jasper Lee, Amitayush Thakur, George Tsoukalas, Jimmy Xin
Pages: 11545-11569 (25 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 37
Date/Location: Held 10-15 December 2024, Vancouver, Canada.
Series: Advances in Neural Information Processing Systems 37
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

DOI: https://doi.org/10.52202/079017-0368
Author(s): Swarat Chaudhuri, Michelle Ding, John Jennings, Michael Jennings, Jasper Lee, Amitayush Thakur, George Tsoukalas, Jimmy Xin
Pages: 11545-11569 (25 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 37
Date/Location: Held 10-15 December 2024, Vancouver, Canada.
Series: Advances in Neural Information Processing Systems 37
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)