An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic

2 February 2020

Papers citing "An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic"

4 / 4 papers shown

Title
On the Paradox of Learning to Reason from Data Honghua Zhang Liunian Harold Li Tao Meng Kai-Wei Chang Guy Van den Broeck NAI ReLM OOD LRM 140 105 0 23 May 2022
PRover: Proof Generation for Interpretable Reasoning over Rules Swarnadeep Saha Sayan Ghosh Shashank Srivastava Joey Tianyi Zhou ReLM LRM 39 77 0 06 Oct 2020
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling Mayank Agarwal Ibrahim Abdelaziz Cristina Cornelio Veronika Thost Lingfei Wu Kenneth D. Forbus Achille Fokoue NAI AI4CE GNN 106 36 0 15 Nov 2019
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 223 7,930 0 17 Aug 2015