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.