research
∙
09/19/2023
On the Parameterized Complexity of Learning Monadic Second-Order Formulas
Within the model-theoretic framework for supervised learning introduced ...
share
research
∙
08/23/2023
Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements
The k-dimensional Weisfeiler-Leman (k-WL) algorithm is a simple combinat...
research
∙
04/25/2023
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
The fixed-point logic LREC= was developed by Grohe et al. (CSL 2011) in ...
research
∙
01/26/2023
WL meet VC
Recently, many works studied the expressive power of graph neural networ...
research
∙
04/14/2022
Solving AC Power Flow with Graph Neural Networks under Realistic Constraints
In this paper we propose a graph neural network architecture solving the...
research
∙
11/22/2021
Homomorphism Tensors and Linear Equations
Lovász (1967) showed that two graphs G and H are isomorphic if and only ...
research
∙
03/18/2020
Counting Bounded Tree Depth Homomorphisms
We prove that graphs G, G' satisfy the same sentences of first-order log...
research
∙
09/18/2019
RUN-CSP: Unsupervised Learning of Message Passing Networks for Binary Constraint Satisfaction Problems
Constraint satisfaction problems form an important and wide class of com...
research
∙
02/13/2018
