Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

Crouse Maxwell
Crouse Maxwell
Abdelaziz Ibrahim
Abdelaziz Ibrahim
Thost Veronika
Thost Veronika
Wu Lingfei
Wu Lingfei
Cited by: 0|Views31

Abstract:

Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. In particular, there has been a shift from character and token-level representations to graph-structured representations, in large part driven by the rapidly e...More

Code:

Data:

Full Text
Bibtex
Your rating :
0

 

Tags
Comments