Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
machine-learning natural-language-processing theorem-proving data-synthesis automated-theorem-proving math-word-problem large-language-models ai4math complex-reasoning math-word-problem-solving
-
Updated
May 29, 2024 - C++