Eleanor-H / MUSTARD Star 33 Code Issues Pull requests 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++
wzy6642 / PRP Star 8 Code Issues Pull requests Official implementation for "Get an A in Math: Progressive Rectification Prompting" (AAAI 2024) verification rectification iterative multi-step-reasoning gpt-35-turbo math-word-problem-solving zero-shot-prompting Updated Mar 18, 2024 Python
wzy6642 / I3C-Select Star 7 Code Issues Pull requests Official implementation for "Instructing Large Language Models to Identify and Ignore Irrelevant Conditions" (NAACL 2024) instructions irrelevant-messages few-shot-learning gpt-3 prompt-engineering gpt-35-turbo math-word-problem-solving Updated May 25, 2024 Python