🧑🔬 Swarat Chaudhuri — papers of 2024 — Elamur Research1 paper · all years of Swarat ChaudhuriPutnamBench: 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/swarat-chaudhuri/year/2024/