Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)

Open in new window