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"

3 / 3 papers shown

Title
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
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 216 7,923 0 17 Aug 2015
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 54 132 0 10 Oct 2013