Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

15 November 2019

Papers citing "Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling"

2 / 2 papers shown

Title
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 208 7,687 0 17 Aug 2015
MizAR 40 for Mizar 40 C. Kaliszyk Josef Urban VLM AI4CE LRM AIMat 46 131 0 10 Oct 2013