A Hybrid System for Systematic Generalization in Simple Arithmetic Problems

06/29/2023
by   Flavio Petruzzellis, et al.
0

Solving symbolic reasoning problems that require compositionality and systematicity is considered one of the key ingredients of human intelligence. However, symbolic reasoning is still a great challenge for deep learning models, which often cannot generalize the reasoning pattern to out-of-distribution test cases. In this work, we propose a hybrid system capable of solving arithmetic problems that require compositional and systematic reasoning over sequences of symbols. The model acquires such a skill by learning appropriate substitution rules, which are applied iteratively to the input string until the expression is completely resolved. We show that the proposed system can accurately solve nested arithmetical expressions even when trained only on a subset including the simplest cases, significantly outperforming both a sequence-to-sequence model trained end-to-end and a state-of-the-art large language model.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/13/2021

Neural Sequence-to-grid Module for Learning Symbolic Rules

Logical reasoning tasks over symbols, such as learning arithmetic operat...
research
02/15/2023

Do Deep Neural Networks Capture Compositionality in Arithmetic Reasoning?

Compositionality is a pivotal property of symbolic reasoning. However, h...
research
05/21/2022

Least-to-Most Prompting Enables Complex Reasoning in Large Language Models

We propose a novel prompting strategy, least-to-most prompting, that ena...
research
11/29/2018

Learning to Reason with Third-Order Tensor Products

We combine Recurrent Neural Networks with Tensor Product Representations...
research
11/16/2021

Deep Distilling: automated code generation using explainable deep learning

Human reasoning can distill principles from observed patterns and genera...
research
06/24/2020

Understanding Deep Architectures with Reasoning Layer

Recently, there has been a surge of interest in combining deep learning ...
research
05/02/2023

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

Solving Constrained Horn Clauses (CHCs) is a fundamental challenge behin...

Please sign up or login with your details

Forgot password? Click here to reset