University of Warsaw; Carnegie Mellon University; Yale University; EleutherAI, Yale University
autoformalization;theorem proving;in context learning
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics