ENIGMA: Efficient Learning-based Inference Guiding Machine

23 January 2017

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

14 / 14 papers shown

Title
Efficient Neural Clause-Selection Reinforcement Martin Suda 44 0 0 10 Mar 2025
Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis Julian Parsert Elizabeth Polgreen 33 3 0 13 Jul 2023
Translating SUMO-K to Higher-Order Set Theory C. Brown A. Pease Josef Urban LRM 21 2 0 13 May 2023
Machine-Learned Premise Selection for Lean Bartosz Piotrowski Ramon Fernández Mir Edward W. Ayers 11 12 0 17 Mar 2023
Project proposal: A modular reinforcement learning based automated theorem prover Boris Shminke 20 1 0 06 Sep 2022
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 25 120 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 17 20 0 19 Jun 2020
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek Josef Urban H. Geuvers 52 23 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 6 44 0 13 Feb 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
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 14 64 0 07 Mar 2019
ProofWatch: Watchlist Guidance for Large Theories in E Z. Goertzel Jan Jakubuv S. Schulz Josef Urban LRM 20 13 0 12 Feb 2018
Deep Network Guided Proof Search Sarah M. Loos G. Irving Christian Szegedy C. Kaliszyk AIMat 18 157 0 24 Jan 2017
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 56 133 0 10 Oct 2013