# Metadata Source URL:: https://arxiv.org/pdf/2302.12433.pdf Topics:: #ai, #llm, #mathematic --- # ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics ## Highlights