mathematical-reasoning topic

List mathematical-reasoning repositories

grace

42
Stars
1
Forks
Watchers

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

ToRA

939
Stars
69
Forks
Watchers

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

I2DM

18
Stars
6
Forks
Watchers

The lecture notes for my discrete mathematics classes.

dl4math

319
Stars
26
Forks
Watchers

Resources of deep learning for mathematical reasoning (DL4MATH).

diffusion-of-thoughts

80
Stars
2
Forks
Watchers

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

llm-planning-eval

46
Stars
2
Forks
Watchers

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

Arithmo

69
Stars
5
Forks
Watchers

Small and Efficient Mathematical Reasoning LLMs

conceptmath

18
Stars
0
Forks
Watchers

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