mathematical-reasoning

There are 0 repository under mathematical-reasoning topic.

• microsoft / ToRA

  ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting with tools [ICLR'24].

  autonomous-agentslanguage-modelllmmathematical-reasoningtool-learning
  Language:Python 833

• lupantech / dl4math

  Resources of deep learning for mathematical reasoning (DL4MATH).

  deep-learningmachine-learningmathematical-reasoningnatural-language-procressingpapers
  304

• akjindal53244 / Arithmo

  Small and Efficient Mathematical Reasoning LLMs

  gsm8klarge-language-modelsllmmathematical-reasoningmistral-7b
  Language:Python 66

• HKUNLP / diffusion-of-thoughts

  Code for the paper "Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models"

  chain-of-thought-reasoningdiffusion-modelsmachine-learningmathematical-reasoningnatural-language-processingnon-autoregressivepytorchtext-generationdiffusion-lm
  Language:Python 47

• OSU-NLP-Group / llm-planning-eval

  Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"

  language-agentlarge-language-modelsmathematical-reasoningplanningself-correctiontext-to-sqltree-search
  Language:Python 38

• mukhal / grace

  [EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning

  chain-of-thoughtdecodinglanguage-modelllmmathematical-reasoningmulti-step-reasoningreasoningsymbolic-reasoningtext-generation
  Language:Python 36
• I2DM

  alexanderknop / I2DM

  The lecture notes for my discrete mathematics classes.

  lecture-notesmathematical-reasoningcombinatoricsmathematical-logiccomputability-theorycombinatorial-game-theorygraph-theoryprobability-theorygame-theoryset-theory
  Language:TeX 18

• RamonKaspar / MathPrompter

  MathPrompter Implementation: This repository hosts an implementation based on the 'MathPrompter: Mathematical Reasoning Using Large Language Models' paper by Microsoft Research. The code replicates the methods discussed in the paper.

  arithmetic-reasoninglarge-language-modelsmathematical-reasoningmathprompter
  Language:Python 4

• SuperBruceJia / GSM8K-Consistency

  GSM8K-Consistency is a benchmark database for analyzing the consistency of Arithmetic Reasoning on GSM8K.

  arithmetic-consistencyarithmetic-reasoningfactual-consistencyfoundation-modelsgradegrade-school-mathgsm8klarge-language-modelslogical-consistencymathematical-reasoningpromptprompt-engineeringprompt-perturbationprompt-toolkitreasoningself-consistencyself-consistency-benchmarksemantics-consistencysemantics-preserving-transformationssemantics-similar
  1

• protagolabs / MathematicalReasoning

  mathematical-reasoningdeep-neural-networktransformer
  Language:Python