BliStrTune: Hierarchical Invention of Theorem Proving Strategies

26 November 2016

Papers citing "BliStrTune: Hierarchical Invention of Theorem Proving Strategies"

7 / 7 papers shown

Title
MizAR 60 for Mizar 50 Jan Jakubruv Karel Chvalovský Z. Goertzel C. Kaliszyk Mirek Olvsák Bartosz Piotrowski S. Schulz Martin Suda Josef Urban 82 13 0 12 Mar 2023
The Isabelle ENIGMA Z. Goertzel Jan Jakubruv C. Kaliszyk Miroslav Olvsák Jelle Piepenbrock Josef Urban AIMat 44 13 0 04 May 2022
Hammering Mizar by Learning Clause Guidance Jan Jakubuv Josef Urban 68 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 67 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
ENIGMA: Efficient Learning-based Inference Guiding Machine Jan Jakubuv Josef Urban 73 94 0 23 Jan 2017