18 citations · 22 across the 16 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler +2
Nielsen transformation is a standard approach for solving word equations: by repeatedly splitting equations and applying simplification steps, equations are rewritten until a solut…
cs.AI2022
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…