Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
-
Updated
May 29, 2024 - C++
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
Official implementation for "Get an A in Math: Progressive Rectification Prompting" (AAAI 2024)
Official implementation for "Instructing Large Language Models to Identify and Ignore Irrelevant Conditions" (NAACL 2024)
Add a description, image, and links to the math-word-problem-solving topic page so that developers can more easily learn about it.
To associate your repository with the math-word-problem-solving topic, visit your repo's landing page and select "manage topics."