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/XiaoHLim/PutnamBench.
