Eleanor-H/MUSTARD

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

语言：C++ · GitHub 星标：43 · Fork：2

话题：ai4math · automated-theorem-proving · complex-reasoning · data-synthesis · large-language-models · machine-learning · math-word-problem · math-word-problem-solving

在 GitHub 上查看原仓库