🧑🔬 Jimmy Xin — papers of 2024 — 1 paper, the most cited first1 paper · all years of Jimmy XinPutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/jimmy-xin/year/2024/