Skip to yearly menu bar Skip to main content


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


Abstract:

Chat is not available.