ENIGMA: Efficient Learning-based Inference Guiding Machine

23 January 2017

Papers citing "ENIGMA: Efficient Learning-based Inference Guiding Machine"

32 / 32 papers shown

Title
Efficient Neural Clause-Selection Reinforcement Martin Suda 97 0 0 10 Mar 2025
Machine Learning for Quantifier Selection in cvc5 Jan Jakubův Mikoláš Janota Jelle Piepenbrock Josef Urban 61 0 0 26 Aug 2024
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis Julian Parsert Elizabeth Polgreen 61 4 0 13 Jul 2023
Translating SUMO-K to Higher-Order Set Theory C. Brown A. Pease Josef Urban LRM 50 2 0 13 May 2023
Machine-Learned Premise Selection for Lean Bartosz Piotrowski Ramon Fernández Mir Edward W. Ayers 72 15 0 17 Mar 2023
Lemmas: Generation, Selection, Application Michael Rawson C. Wernhard Zsolt Zombori W. Bibel 65 7 0 10 Mar 2023
CoProver: A Recommender System for Proof Construction Eric Yeh Briland Hitaj S. Owre Maena Quemener N. Shankar 101 5 0 01 Mar 2023
Safety without alignment András Kornai M. Bukatin Zsolt Zombori LLMSV 55 0 0 27 Feb 2023
Project proposal: A modular reinforcement learning based automated theorem prover Boris Shminke 64 1 0 06 Sep 2022
The Isabelle ENIGMA Z. Goertzel Jan Jakubruv C. Kaliszyk Miroslav Olvsák Jelle Piepenbrock Josef Urban AIMat 44 13 0 04 May 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 104 18 0 20 Dec 2021
Fast and Slow Enigmas and Parental Guidance Z. Goertzel Karel Chvalovský Jan Jakubuv Miroslav Olsák Josef Urban 78 11 0 14 Jul 2021
Learning to Guide a Saturation-Based Theorem Prover Ibrahim Abdelaziz Mayank Agarwal B. Makni Vernon Austil Cristina Cornelio ... Pavan Kapanipathi Ndivhuwo Makondo Kavitha Srinivas Michael Witbrock Achille Fokoue 54 17 0 07 Jun 2021
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 117 127 0 11 Feb 2021
Learning to Prove from Synthetic Theorems Eser Aygun Zafarali Ahmed Ankit Anand Vlad Firoiu Xavier Glorot Laurent Orseau Doina Precup Shibl Mourad NAI 70 20 0 19 Jun 2020
Make E Smart Again Z. Goertzel 44 6 0 19 Apr 2020
Prolog Technology Reinforcement Learning Prover Zsolt Zombori Josef Urban C. Brown OffRL 60 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
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski Josef Urban LRM 56 21 0 11 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
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic Ibrahim Abdelaziz Veronika Thost Mayank Agarwal Achille Fokoue 63 6 0 02 Feb 2020
Property Invariant Embedding for Automated Reasoning Miroslav Olsák C. Kaliszyk Josef Urban NAI 69 41 0 27 Nov 2019
Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic Thibault Gauthier 51 13 0 25 Oct 2019
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 83 16 0 30 May 2019
ENIGMAWatch: ProofWatch Meets ENIGMA Z. Goertzel Jan Jakubuv Josef Urban 61 16 0 23 May 2019
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
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback Bartosz Piotrowski Josef Urban 73 41 0 09 Feb 2018
Premise Selection for Theorem Proving by Deep Graph Embedding Mingzhe Wang Yihe Tang Jian Wang Jia Deng 102 133 0 28 Sep 2017
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 84 159 0 24 Jan 2017