3 ms·ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics2 points by super256 4y ago