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.