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

Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

Learning program semantics from raw source code is challenging due to the complexity of real-world programming language syntax and due to the difficulty of reconstructing long-dist…