ProofNet: A Benchmark for Autoformalizing and Formally Proving Undergraduate-Level Mathematics Problems
Zhangir Azerbayev · Bartosz Piotrowski · Jeremy Avigad
2022 Contributed Talk
in
Workshop: MATH-AI: Toward Human-Level Mathematical Reasoning
in
Workshop: MATH-AI: Toward Human-Level Mathematical Reasoning
Video
Chat is not available.
Successful Page Load