MUSTARD: MASTERING UNIFORM SYNTHESIS OF THEOREM AND PROOF DATA

LLMs have advanced in mathematical reasoning, and MUSTARD provides a framework for generating high-quality mathematical data.