amitayusht/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 formal languages: Lean 4 $\land$ Isabelle $\land$ Coq. PutnamBench comprises over 1300 manual formalizations, aggregated over all languages. PutnamBench aims to… See the full description on the dataset page: https://huggingface.co/datasets/amitayusht/PutnamBench.

<iframe src="https://silytics.si/embed/item/0e1806b1-1928-40ae-baa2-8f5ceb0fbb8b" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.