Internal Guidance for Satallax

30 May 2016

Papers citing "Internal Guidance for Satallax"

9 / 9 papers shown

Title
Adversarial Learning to Reason in an Arbitrary Logic Stanislaw J. Purgal C. Kaliszyk 64 1 0 06 Apr 2022
ENIGMAWatch: ProofWatch Meets ENIGMA Z. Goertzel Jan Jakubuv Josef Urban 66 16 0 23 May 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
TacticToe: Learning to Prove with Tactics Thibault Gauthier C. Kaliszyk Josef Urban Ramana Kumar Michael Norrish 88 55 0 02 Apr 2018
Learning to Reason with HOL4 tactics Thibault Gauthier C. Kaliszyk Josef Urban 94 77 0 02 Apr 2018
Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang Yihe Tang Jian Wang Jia Deng 102 133 0 28 Sep 2017
HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving C. Kaliszyk François Chollet Christian Szegedy 96 83 0 01 Mar 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 84 159 0 24 Jan 2017
Monte Carlo Tableau Proof Search Michael Färber C. Kaliszyk Josef Urban 79 14 0 18 Nov 2016