ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics#ai#llm#mathematic·arxiv.org·Feb 28, 2023ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics