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++