Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

Open in new window