PutnamBench

Link to the repository on GitHub: https://github.com/trishullab/PUTNAM PutnamBench PutnamBench is a benchmark for the evaluation of theorem-proving algorithms on competition mathematics problems sourced from the William Lowell Putnam Mathematical Competition years 1965 - 2023. Our formalizations currently support three

Papers using PutnamBench (5)

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics2026Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving2025 · 1 citesSeed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience2025Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving2025Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving2025