Search Results for author: Philipp Rümmer

Found 1 papers, 1 papers with code

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

1 code implementation14 Jun 2022 Chencheng Liang, Philipp Rümmer, Marc Brockschmidt

For the second challenge, we explore graph representations of CHCs, and propose a new Relational Hypergraph Neural Network (R-HyGNN) architecture to learn program features.

Cannot find the paper you are looking for? You can Submit a new open access paper.