ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting with tools [ICLR'24].
-
Updated
Feb 22, 2024 - Python
ToRA is a series of Tool-integrated Reasoning LLM Agents designed to solve challenging mathematical reasoning problems by interacting with tools [ICLR'24].
Resources of deep learning for mathematical reasoning (DL4MATH).
The lecture notes for my discrete mathematics classes.
Small and Efficient Mathematical Reasoning LLMs
Code for the paper "Diffusion of Thoughts: Chain-of-Thought Reasoning in Diffusion Language Models"
Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"
Code and Data Repo for Paper "Trajectory Volatility for Out-of-Distribution Detection in Mathematical Reasoning"
GSM8K-Consistency is a benchmark database for analyzing the consistency of Arithmetic Reasoning on GSM8K.
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.
[ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large Language Models".
[EMNLP 2023, Findings] GRACE: Discriminator-Guided Chain-of-Thought Reasoning
This dataset aggregates carefully selected elementary-level math problems from various existing resources, providing an optimal mix for testing and enhancing math-solving chatbots for young learners.
Add a description, image, and links to the mathematical-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the mathematical-reasoning topic, visit your repo's landing page and select "manage topics."