Reinforcement Learning of Theorem Proving

05/19/2018
by   Cezary Kaliszyk, et al.
0

We introduce a theorem proving algorithm that uses practically no domain heuristics for guiding its connection-style proof search. Instead, it runs many Monte-Carlo simulations guided by reinforcement learning from previous proof attempts. We produce several versions of the prover, parameterized by different learning and guiding algorithms. The strongest version of the system is trained on a large corpus of mathematical problems and evaluated on previously unseen problems. The trained system solves within the same number of inferences over 40 improvement in this hard AI domain. To our knowledge this is the first time reinforcement learning has been convincingly applied to solving general mathematical problems on a large scale.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/18/2016

Monte Carlo Connection Prover

Monte Carlo Tree Search (MCTS) is a technique to guide search in a large...
research
05/31/2021

The Role of Entropy in Guiding a Connection Prover

In this work we study how to learn good algorithms for selecting reasoni...
research
06/07/2021

Learning to Guide a Saturation-Based Theorem Prover

Traditional automated theorem provers have relied on manually tuned heur...
research
02/22/2012

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study s...
research
11/02/2018

Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

The problem-solving in automated theorem proving (ATP) can be interprete...
research
04/06/2022

Adversarial Learning to Reason in an Arbitrary Logic

Existing approaches to learning to prove theorems focus on particular lo...
research
05/11/2013

Geiringer Theorems: From Population Genetics to Computational Intelligence, Memory Evolutive Systems and Hebbian Learning

The classical Geiringer theorem addresses the limiting frequency of occu...

Please sign up or login with your details

Forgot password? Click here to reset