Weisfeiler and leman go machine learning: The story so far

C Morris, Y Lipman, H Maron, B Rieck… - The Journal of Machine …, 2023 - dl.acm.org
In recent years, algorithms and neural architectures based on the Weisfeiler-Leman
algorithm, a well-known heuristic for the graph isomorphism problem, have emerged as a …

word2vec, node2vec, graph2vec, x2vec: Towards a theory of vector embeddings of structured data

M Grohe - Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI …, 2020 - dl.acm.org
Vector representations of graphs and relational structures, whether hand-crafted feature
vectors or learned representations, enable us to apply standard data analysis and machine …

The logic of graph neural networks

M Grohe - 2021 36th Annual ACM/IEEE Symposium on Logic …, 2021 - ieeexplore.ieee.org
Graph neural networks (GNNs) are deep learning architectures for machine learning
problems on graphs. It has recently been shown that the expressiveness of GNNs can be …

Weisfeiler and leman go sparse: Towards scalable higher-order graph embeddings

C Morris, G Rattan, P Mutzel - Advances in Neural …, 2020 - proceedings.neurips.cc
Graph kernels based on the $1 $-dimensional Weisfeiler-Leman algorithm and
corresponding neural architectures recently emerged as powerful tools for (supervised) …

Speqnets: Sparsity-aware permutation-equivariant graph networks

C Morris, G Rattan, S Kiefer… - … on Machine Learning, 2022 - proceedings.mlr.press
While message-passing graph neural networks have clear limitations in approximating
permutation-equivariant functions over graphs or general relational data, more expressive …

Fine-grained expressivity of graph neural networks

J Böker, R Levie, N Huang, S Villar… - Advances in Neural …, 2024 - proceedings.neurips.cc
Numerous recent works have analyzed the expressive power of message-passing graph
neural networks (MPNNs), primarily utilizing combinatorial techniques such as the $1 …

Wl meet vc

C Morris, F Geerts, J Tönshoff… - … Conference on Machine …, 2023 - proceedings.mlr.press
Recently, many works studied the expressive power of graph neural networks (GNNs) by
linking it to the $1 $-dimensional Weisfeiler-Leman algorithm ($1\text {-}\mathsf {WL} $) …

Quantum isomorphism is equivalent to equality of homomorphism counts from planar graphs

L Mančinska, DE Roberson - 2020 IEEE 61st Annual …, 2020 - ieeexplore.ieee.org
Over 50 years ago, Lovász proved that two graphs are isomorphic if and only if they admit
the same number of homomorphisms from any graph. Other equivalence relations on …

Nonlocal games and quantum permutation groups

M Lupini, L Mančinska, DE Roberson - Journal of Functional Analysis, 2020 - Elsevier
We present a strong connection between quantum information and the theory of quantum
permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs …

[HTML][HTML] Logical equivalences, homomorphism indistinguishability, and forbidden minors

T Seppelt - Information and Computation, 2024 - Elsevier
Two graphs G and H are homomorphism indistinguishable over a graph class F if for all
graphs F∈ F the number of homomorphisms from F to G is equal to the number of …