ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E

7 March 2019

Papers citing "ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E"

7 / 7 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 25 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
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu Michael Norrish Christian J. Walder Amir Dezfouli 12 40 0 19 Feb 2021
Tactic Learning and Proving for the Coq Proof Assistant Lasse Blaauwbroek Josef Urban H. Geuvers 44 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 4 44 0 13 Feb 2020
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 27 15 0 30 May 2019