trishullab / PutnamBenchView on GitHub
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
243Jun 10, 2026Updated 3 weeks ago

Alternatives and similar repositories for PutnamBench

Users that are interested in PutnamBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

Sorting:

Are these results useful?