Analysing Mathematical Reasoning Abilities of Neural Models

04/02/2019
by   David Saxton, et al.
14

Mathematical reasoning---a core ability within human intelligence---presents some unique challenges as a domain: we do not come to understand and solve mathematical problems primarily on the back of experience and evidence, but on the basis of inferring, learning, and exploiting laws, axioms, and symbol manipulation rules. In this paper, we present a new challenge for the evaluation (and eventually the design) of neural architectures and similar system, developing a task suite of mathematics problems involving sequential questions and answers in a free-form textual input/output format. 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. Having described the data generation process and its potential future expansions, we conduct a comprehensive analysis of models from two broad classes of the most powerful sequence-to-sequence architectures and find notable differences in their ability to resolve mathematical problems and generalize their knowledge.

READ FULL TEXT
research
03/28/2022

Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library

Mathematical reasoning recently has been shown as a hard challenge for n...
research
10/29/2021

Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems

Mathematical reasoning would be one of the next frontiers for artificial...
research
08/28/2014

Mathematical Knowledge Representation: Semantic Models and Formalisms

The paper provides a survey of semantic methods for solution of fundamen...
research
11/29/2022

Peano: Learning Formal Mathematical Reasoning

General mathematical reasoning is computationally undecidable, but human...
research
02/11/2023

Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning

Mathematical reasoning is one of the crucial abilities of general artifi...
research
12/14/2018

In Praise of Sequence (Co-)Algebra and its implementation in Haskell

What is Sequence Algebra? This is a question that any teacher or student...
research
10/31/2022

Lila: A Unified Benchmark for Mathematical Reasoning

Mathematical reasoning skills are essential for general-purpose intellig...

Please sign up or login with your details

Forgot password? Click here to reset