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)

Multiple approaches to solve MWPs, comparing traditional models like RNNs and Transformers, math-specific architectures like Graph-to-Tree and GTS, and large language models (LLMs) like Gemini.