mathematical-reasoning

There are 13 repositories 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].

    Language:Python988192772

  • lupantech/dl4math

    Resources of deep learning for mathematical reasoning (DL4MATH).

    34120127

  • HKUNLP/diffusion-of-thoughts

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

    Language:Python84732

  • akjindal53244/Arithmo

    Small and Efficient Mathematical Reasoning LLMs

    Language:Python71365

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

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

    Language:Python50423

  • mukhal/grace

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

    Language:Python45321

  • conceptmath/conceptmath

    [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models".

    Language:Python20400
  • I2DM

    alexanderknop/I2DM

    The lecture notes for my discrete mathematics classes.

    Language:TeX185836

  • Alsace08/OOD-Math-Reasoning

    Code and Data Repo for NeurIPS 2024 Paper "Embedding Trajectory for Out-of-Distribution Detection in Mathematical Reasoning"

    Language:Python13101

  • 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.

    Language:Python8202

  • Nativeatom/FRoG

    Fuzzy reasoning of Generalized Quantifiers

    Language:Python60

  • SuperBruceJia/GSM8K-Consistency

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

    210

  • protagolabs/MathematicalReasoning

    Language:Python10