research
∙
05/24/2019
Graph Representations for Higher-Order Logic and Theorem Proving
This paper presents the first use of graph neural networks (GNNs) for hi...
share
research
∙
05/07/2019
REGAL: Transfer Learning For Fast Optimization of Computation Graphs
We present a deep reinforcement learning approach to optimizing the exec...
research
∙
05/23/2018
