Cite
Notes
Only stored in your browser.
Attribution
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
arXiv 2024
from 1 papers
Amitayush Thakur
George Tsoukalas
Jasper Lee
Jimmy Xin
John Jennings
Michael Jennings
Swarat Chaudhuri