Eleanor-H / MUSTARD

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

mustard: Mastering Uniform Synthesis of Theorem and Proof Data | OpenReview

Geek Repo

Github PK Tool