trishullab / PUTNAM

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

Geek Repo

Github PK Tool