ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)

13 February 2020

Papers citing "ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description)"

27 / 27 papers shown

Title
Efficient Neural Clause-Selection Reinforcement Martin Suda 44 0 0 10 Mar 2025
Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report) Parosh Aziz Abdulla Mohamed Faouzi Atig Julie Cailler Chencheng Liang P. Rümmer 73 0 0 19 Nov 2024
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction Liao Zhang David M. Cerna C. Kaliszyk 26 0 0 02 Nov 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 56 22 0 15 Apr 2024
Learning Guided Automated Reasoning: A Brief Survey Lasse Blaauwbroek David M. Cerna Thibault Gauthier Jan Jakubruv C. Kaliszyk Martin Suda Josef Urban LRM 40 4 0 06 Mar 2024
Graph2Tac: Online Representation Learning of Formal Math Concepts Lasse Blaauwbroek Miroslav Olšák Jason Rute F. I. S. Massolo Jelle Piepenbrock Vasily Pestun 21 10 0 05 Jan 2024
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations Achille Fokoue Ibrahim Abdelaziz Mayank Agarwal S. Ikbal Akihiro Kishimoto Guilherme Lima Ndivhuwo Makondo Radu Marinescu OOD NAI 27 4 0 15 May 2023
Translating SUMO-K to Higher-Order Set Theory C. Brown A. Pease Josef Urban LRM 21 2 0 13 May 2023
MizAR 60 for Mizar 50 Jan Jakubruv Karel Chvalovský Z. Goertzel C. Kaliszyk Mirek Olvsák Bartosz Piotrowski S. Schulz Martin Suda Josef Urban 53 13 0 12 Mar 2023
Investigations into Proof Structures C. Wernhard W. Bibel 16 3 0 14 Feb 2023
Machine Learning Meets The Herbrand Universe Jelle Piepenbrock Josef Urban Konstantin Korovin Miroslav Olvsák Tom Heskes Mikolávs Janota NAI 22 3 0 07 Oct 2022
Feynman on Artificial Intelligence and Machine Learning, with Updates E. Mjolsness AI4CE 21 0 0 31 Aug 2022
The Isabelle ENIGMA Z. Goertzel Jan Jakubruv C. Kaliszyk Miroslav Olvsák Jelle Piepenbrock Josef Urban AIMat 18 13 0 04 May 2022
Adversarial Learning to Reason in an Arbitrary Logic Stanislaw J. Purgal C. Kaliszyk 27 1 0 06 Apr 2022
Gym-saturation: an OpenAI Gym environment for saturation provers Boris Shminke AIMat LRM 31 3 0 09 Mar 2022
Proving Theorems using Incremental Learning and Hindsight Experience Replay Eser Aygun Laurent Orseau Ankit Anand Xavier Glorot Vlad Firoiu Lei M. Zhang Doina Precup Shibl Mourad CLL LRM 27 17 0 20 Dec 2021
Learning Theorem Proving Components Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban LRM 11 8 0 21 Jul 2021
Fast and Slow Enigmas and Parental Guidance Z. Goertzel Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban 48 11 0 14 Jul 2021
Learning to solve geometric construction problems from images J. Macke J. Sedlar Miroslav Olsák J. Urban Josef Sivic 14 2 0 27 Jun 2021
The Role of Entropy in Guiding a Connection Prover Zsolt Zombori Josef Urban Miroslav Olsák 38 11 0 31 May 2021
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version) C. Wernhard W. Bibel 12 8 0 28 Apr 2021
Improving ENIGMA-Style Clause Selection While Learning From History Martin Suda 14 1 0 26 Feb 2021
Vampire With a Brain Is a Good ITP Hammer Martin Suda 28 12 0 06 Feb 2021
Faster Smarter Induction in Isabelle/HOL Yutaka Nagashima 21 7 0 19 Sep 2020
Extending Automated Deduction for Commonsense Reasoning T. Tammet ReLM LRM 15 3 0 29 Mar 2020
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 29 15 0 30 May 2019
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 61 133 0 10 Oct 2013