ENIGMAWatch: ProofWatch Meets ENIGMA

v1v2 (latest)

ENIGMAWatch: ProofWatch Meets ENIGMA

23 May 2019

ArXiv (abs)PDF HTML

Papers citing "ENIGMAWatch: ProofWatch Meets ENIGMA"

8 / 8 papers shown

Title
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 93 5 0 06 Mar 2024
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
Fast and Slow Enigmas and Parental Guidance Z. Goertzel Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban 78 11 0 14 Jul 2021
Make E Smart Again Z. Goertzel 46 6 0 19 Apr 2020
Prolog Technology Reinforcement Learning Prover Zsolt Zombori Josef Urban C. Brown OffRL 63 14 0 15 Apr 2020
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek Josef Urban H. Geuvers 114 24 0 20 Mar 2020
ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description) Jan Jakubuv Karel Chvalovský Miroslav Olsák Bartosz Piotrowski Martin Suda Josef Urban 65 44 0 13 Feb 2020