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 (3)

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean2026Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics2026OProver: A Unified Framework for Agentic Formal Theorem Proving2026