A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving

5 November 2019

Papers citing "A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving"

9 / 9 papers shown

Title
Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski C. Kaliszyk Josef Urban OffRL LRM 67 15 0 30 May 2019
Learning to Reason in Large Theories without Imitation Kshitij Bansal Christian Szegedy M. Rabe Sarah M. Loos Viktor Toman NAI LRM 62 42 0 25 May 2019
Graph Representations for Higher-Order Logic and Theorem Proving Aditya Sanjay Paliwal Sarah M. Loos M. Rabe Kshitij Bansal Christian Szegedy AI4CE NoLa 119 97 0 24 May 2019
Hammering Mizar by Learning Clause Guidance Jan Jakubuv Josef Urban 31 46 0 02 Apr 2019
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E Karel Chvalovský Jan Jakubuv Martin Suda Josef Urban 45 65 0 07 Mar 2019
Thinking Fast and Slow with Deep Learning and Tree Search Thomas W. Anthony Zheng Tian David Barber 78 387 0 23 May 2017
Video Paragraph Captioning Using Hierarchical Recurrent Neural Networks Haonan Yu Jiang Wang Zhiheng Huang Yi Yang Wenyuan Xu 78 560 0 26 Oct 2015
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 323 7,951 0 17 Aug 2015
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 75 134 0 10 Oct 2013