Philipp Rümmer

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

2022 · arXiv (Cornell University)

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-distance relational information implicitly represented in programs using identifiers. Addressing …