Eleanor-H / MUSTARDLinks

Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
β˜†41Updated last year

Alternatives and similar repositories for MUSTARD

Users that are interested in MUSTARD are comparing it to the libraries listed below

Sorting: