27 citations · 44 across the 8 of their papers we have counts for
4 papers · 1 filter
The Surprising Power of Graph Neural Networks with Random Node Initialization
Ralph Abboud, İsmail İlkan Ceylan, Martin Grohe +1
Graph neural networks (GNNs) are effective models for representation learning on relational data. However, standard GNNs are limited in their expressive power, as they cannot disti…
BoxE: A Box Embedding Model for Knowledge Base Completion
Ralph Abboud, İsmail İlkan Ceylan, Thomas Lukasiewicz +1
Knowledge base completion (KBC) aims to automatically infer missing facts by exploiting information already present in a knowledge base (KB). A promising approach for KBC is to emb…
On the Approximability of Weighted Model Integration on DNF Structures
Ralph Abboud, İsmail İlkan Ceylan, Radoslav Dimitrov
Weighted model counting (WMC) consists of computing the weighted sum of all satisfying assignments of a propositional formula. WMC is well-known to be #P-hard for exact solving, bu…
CounterExample Guided Neural Synthesis
Elizabeth Polgreen, Ralph Abboud, Daniel Kroening
Program synthesis is the generation of a program from a specification. Correct synthesis is difficult, and methods that provide formal guarantees suffer from scalability issues. On…