mathematical-reasoning topic

List mathematical-reasoning repositories

grace

36
Stars
0
Forks
Watchers

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

ToRA

833
Stars
61
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

304
Stars
26
Forks
Watchers

Resources of deep learning for mathematical reasoning (DL4MATH).

diffusion-of-thoughts

48
Stars
1
Forks
Watchers

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

llm-planning-eval

38
Stars
2
Forks
Watchers

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

Arithmo

66
Stars
5
Forks
Watchers

Small and Efficient Mathematical Reasoning LLMs