ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematicsarxiv.org2 points·super256··0 commentsOpen articleSaveView on HN