Monte Carlo Tableau Proof Search

v1v2 (latest)

Monte Carlo Tableau Proof Search

18 November 2016

Michael Färber

ArXiv (abs)PDF HTML

Papers citing "Monte Carlo Tableau Proof Search"

7 / 7 papers shown

Title
Vampire With a Brain Is a Good ITP Hammer Martin Suda 71 12 0 06 Feb 2021
Property Invariant Embedding for Automated Reasoning Miroslav Olsák C. Kaliszyk Josef Urban NAI 66 41 0 27 Nov 2019
Hammering Mizar by Learning Clause Guidance Jan Jakubuv Josef Urban 65 46 0 02 Apr 2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 65 65 0 07 Mar 2019
Reinforcement Learning of Theorem Proving C. Kaliszyk Josef Urban Henryk Michalewski Miroslav Olsák 61 148 0 19 May 2018
ProofWatch: Watchlist Guidance for Large Theories in E Z. Goertzel Jan Jakubuv S. Schulz Josef Urban LRM 85 13 0 12 Feb 2018
Learning to Plan Chemical Syntheses Marwin H. S. Segler Mike Preuss M. Waller 109 1,383 0 14 Aug 2017