eleanor-h / mustard Goto Github PK
View Code? Open in Web Editor NEWCode & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Home Page: mustard: Mastering Uniform Synthesis of Theorem and Proof Data | OpenReview