trishullab / PutnamBenchLinks

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
121Updated last month

Alternatives and similar repositories for PutnamBench

Users that are interested in PutnamBench are comparing it to the libraries listed below

Sorting: