trishullab / PutnamBenchLinks

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
167Updated this week

Alternatives and similar repositories for PutnamBench

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

Sorting: