ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

9 February 2018

Papers citing "ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback"

11 / 11 papers shown

Title
Machine-Learned Premise Selection for Lean Bartosz Piotrowski Ramon Fernández Mir Edward W. Ayers 72 15 0 17 Mar 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 82 13 0 12 Mar 2023
Alien Coding Thibault Gauthier Miroslav Olsák J. Urban 72 8 0 27 Jan 2023
Learning to Prove Trigonometric Identities Zhouwu Liu Yujun Li Zhengying Liu Lin Li Zheng Li 66 3 0 14 Jul 2022
The Isabelle ENIGMA Z. Goertzel Jan Jakubruv C. Kaliszyk Miroslav Olvsák Jelle Piepenbrock Josef Urban AIMat 44 13 0 04 May 2022
Contrastive Reinforcement Learning of Symbolic Reasoning Domains Gabriel Poesia Wenxin Dong Noah D. Goodman 164 19 0 16 Jun 2021
Stateful Premise Selection by Recurrent Neural Networks Bartosz Piotrowski Josef Urban LRM 54 21 0 11 Mar 2020
Learning to Prove Theorems by Learning to Generate Theorems Mingzhe Wang Jia Deng NAI 132 50 0 17 Feb 2020
ENIGMAWatch: ProofWatch Meets ENIGMA Z. Goertzel Jan Jakubuv Josef Urban 59 16 0 23 May 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 61 148 0 19 May 2018