math-word-problem-solving

There are 0 repository under math-word-problem-solving topic.

• / MUSTARD

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

  automated-theorem-provingcomplex-reasoningdata-synthesislarge-language-modelsmachine-learningmath-word-problemmath-word-problem-solvingnatural-language-processingtheorem-provingai4math
  Language:C++ 23

• / I3C-Select

  Official implementation for "Instructing Large Language Models to Identify and Ignore Irrelevant Conditions" (NAACL 2024)

  few-shot-learninggpt-3instructionsirrelevant-messagesprompt-engineeringmath-word-problem-solvinggpt-35-turbo
  Language:Python 6

• / PRP

  Official implementation for "Get an A in Math: Progressive Rectification Prompting" (AAAI 2024)

  gpt-35-turboiterativemulti-step-reasoningrectificationverificationmath-word-problem-solvingzero-shot-prompting
  Language:Python 4