Mathematical Reasoning

28 papers with code • 3 benchmarks • 5 datasets

This task has no description! Would you like to contribute one?

Most implemented papers

Analysing Mathematical Reasoning Abilities of Neural Models

deepmind/mathematics_dataset ICLR 2019

The structured nature of the mathematics domain, covering arithmetic, algebra, probability and calculus, enables the construction of training and test splits designed to clearly illuminate the capabilities and failure-modes of different architectures, as well as evaluate their ability to compose and relate knowledge and learned processes.

Compositional Generalization with Tree Stack Memory Units

ForoughA/recursiveMemNet 5 Nov 2019

We study compositional generalization, viz., the problem of zero-shot generalization to novel compositions of concepts in a domain.

Measuring Mathematical Problem Solving With the MATH Dataset

hendrycks/math 5 Mar 2021

To facilitate future research and increase accuracy on MATH, we also contribute a large auxiliary pretraining dataset which helps teach models the fundamentals of mathematics.

Training Verifiers to Solve Math Word Problems

openai/grade-school-math 27 Oct 2021

State-of-the-art language models can match human performance on many tasks, but they still struggle to robustly perform multi-step mathematical reasoning.

Reasoning with Language Model Prompting: A Survey

zjunlp/Prompt4ReasoningPapers 19 Dec 2022

Reasoning, as an essential ability for complex problem-solving, can provide back-end support for various real-world applications, such as medical diagnosis, negotiation, etc.

Learning to Prove Theorems via Interacting with Proof Assistants

princeton-vl/CoqGym 21 May 2019

Proof assistants offer a formalism that resembles human mathematical reasoning, representing theorems in higher-order logic and proofs as high-level tactics.

IsarStep: a Benchmark for High-level Mathematical Reasoning

reactive-systems/ml2 ICLR 2021

In this paper, we present a benchmark for high-level mathematical reasoning and study the reasoning capabilities of neural sequence-to-sequence models.

DRLE: Decentralized Reinforcement Learning at the Edge for Traffic Light Control in the IoV

flow-project/flow 3 Sep 2020

To this end, we propose a Decentralized Reinforcement Learning at the Edge for traffic light control in the IoV (DRLE).

Reverse Operation based Data Augmentation for Solving Math Word Problems

yiyunya/RODA 4 Oct 2020

Automatically solving math word problems is a critical task in the field of natural language processing.

LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning

tonywu95/lime 15 Jan 2021

While designing inductive bias in neural architectures has been widely studied, we hypothesize that transformer networks are flexible enough to learn inductive bias from suitable generic tasks.