Search for a command to run...
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling