Contributed Talk
in
Workshop: MATH-AI: Toward Human-Level Mathematical Reasoning

ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems

Zhangir Azerbayev · Bartosz Piotrowski · Jeremy Avigad