mathematical-reasoning topic
grace
[EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning
ToRA
ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting with tools [ICLR'24].
I2DM
The lecture notes for my discrete mathematics classes.
dl4math
Resources of deep learning for mathematical reasoning (DL4MATH).
diffusion-of-thoughts
[NeurIPS 2024] Code for the paper "Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models"
llm-planning-eval
[ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
Arithmo
Small and Efficient Mathematical Reasoning LLMs
conceptmath
[ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models".