Symmetry and Similarity

Informations projet

SymSim

N° de convention de subvention: 101054974

DOI

10.3030/101054974

Date de signature de la CE 30 Mai 2022

Date de début 1 Octobre 2022

Date de fin 30 Septembre 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 2 495 575,00

Contribution de l’UE

€ 2 495 575,00

Coordonné par

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (14)

Simulating Logspace-Recursion with Logarithmic Quantifier Depth

Auteurs: van Bergerem, Steffen; Grohe, Martin; Kiefer, Sandra; Oeljeklaus, Luca Frédéric Tilmann
Publié dans: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 26 – 29 June 2023, Boston, USA, 2023<br/>38. Annual ACM/IEEE Symposium on Logic in Computer Science, LICS, Boston, MA, USA, 2023-06-26 - 2023-06-29, 2023
Éditeur: IEEE
DOI: 10.48550/arxiv.2304.12948

Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability

Auteurs: Lichter, Moritz; Pago, Benedikt Thomas; Seppelt, Tim Frederik
Publié dans: 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silva<br/>32. EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, 2024-02-19 - 2024-02-23, 2024
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2308.05693

An Algorithmic Meta Theorem for Homomorphism Indistinguishability

Auteurs: Seppelt, Tim Frederik
Publié dans: 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2402.08989

The Complexity of Homomorphism Reconstructibility

Auteurs: Böker, Jan Wilhelm; Härtel, Louis; Runde, Nina Katrin; Seppelt, Tim Frederik; Standke, Christoph
Publié dans: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2023
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
DOI: 10.48550/arxiv.2310.09009

Position: Future Directions in the Theory of Graph Machine Learning

Auteurs: Christopher Morris, Fabrizio Frasca, Nadav Dym, Haggai Maron, Ismail Ilkan Ceylan, Ron Levie, Derek Lim, Michael M. Bronstein, Martin Grohe, Stefanie Jegelka
Publié dans: 41st International Conference on Machine Learning, 2024
Éditeur: MLR Press

The Descriptive Complexity of Graph Neural Networks

Auteurs: Grohe, Martin
Publié dans: Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Éditeur: IEEE
DOI: 10.48550/arxiv.2303.04613

Are Targeted Messages More Effective?

Auteurs: Martin Grohe, Eran Rosenbluth
Publié dans: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Éditeur: ACM
DOI: 10.48550/arXiv.2403.06817

Fine-grained Expressivity of Graph Neural Networks

Auteurs: Böker, Jan; Levie, Ron; Huang, Ningyuan; Villar, Soledad; Morris, Christopher
Publié dans: Advances in Neural Information Processing Systems, 2023
Éditeur: MLR Press

Compressing CFI Graphs and Lower Bounds for the Weisfeiler-Leman Refinements

Auteurs: Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Publié dans: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2023
Éditeur: IEEE
DOI: 10.48550/arxiv.2308.11970

The Iteration Number of the Weisfeiler-Leman Algorithm

Auteurs: Martin Grohe, Moritz Lichter, Daniel Neuen
Publié dans: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024
Éditeur: IEEE
DOI: 10.48550/arXiv.2301.13317

Isomorphism for Tournaments of Small Twin Width

Auteurs: Martin Grohe and Daniel Neuen
Publié dans: Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
Éditeur: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2312.02048

Some Thoughts on Graph Similarity

Auteurs: Martin Grohe
Publié dans: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I, 2024
Éditeur: Springer
DOI: 10.48550/ARXIV.2411.10182

WL meet VC

Auteurs: Morris, Christopher; Geerts, Floris; Tönshoff, Jan; Grohe, Martin
Publié dans: Proceedings of the 40th International Conference on Machine Learning (PMLR), 2023, Honolulu, Hawaii, USA., 2023
Éditeur: MLR Press

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth

Auteurs: Fluck, Eva; Seppelt, Tim Frederik; Spitzer, Gian Luca
Publié dans: 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silvapages, 2023
Éditeur: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arxiv.2308.06044

Peer reviewed articles (4)

Where Did the Gap Go? Reassessing the Long-Range Graph Benchmark

Auteurs: Jan Tönshoff, Martin Ritzert, Eran Rosenbluth, Martin Grohe
Publié dans: Transactions on Machine Learning Research, 2024, ISSN 2835-8856
Éditeur: MLR Press
DOI: 10.48550/ARXIV.2309.00367

Logical equivalences, homomorphism indistinguishability, and forbidden minors

Auteurs: Tim Seppelt
Publié dans: Information and Computation, Numéro 301, 2024, ISSN 0890-5401
Éditeur: Elsevier BV
DOI: 10.48550/arXiv.2302.11290

Weisfeiler-Leman Indistinguishability of Graphons

Auteurs: Jan Böker
Publié dans: The Electronic Journal of Combinatorics, Numéro 30, 2023, ISSN 1077-8926
Éditeur: The Electronic Journal of Combinatorics
DOI: 10.37236/10973

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

Auteurs: David E. Roberson, Tim Seppelt
Publié dans: TheoretiCS, Numéro Volume 3, 2024, ISSN 2751-4838
Éditeur: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/theoretics.24.20

Other (5)

The Parameterized Complexity of Learning Monadic Second-Order Logic

Auteurs: van Bergerem, Steffen; Grohe, Martin; Runde, Nina
Publié dans: 2023
Éditeur: arxiv.org
DOI: 10.48550/arxiv.2309.10489

Computational complexity of the Weisfeiler-Leman dimension

Auteurs: Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Publié dans: 2024
Éditeur: arxiv.org
DOI: 10.48550/arxiv.2402.11531

Structural Node Embeddings with Homomorphism Counts

Auteurs: Wolf, Hinrikus; Oeljeklaus, Luca Frédéric Tilmann; Kühner, Pascal; Grohe, Martin
Publié dans: 2023
Éditeur: arxiv.org
DOI: 10.48550/arxiv.2308.15283

Supercritical Size-Width Tree-Like Resolution Trade-Offs for Graph Isomorphism

Auteurs: Christoph Berkholz and Moritz Lichter and Harry Vinall-Smeeth
Publié dans: 2024
Éditeur: arxiv.org
DOI: 10.48550/ARXIV.2407.17947

Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems

Auteurs: Moritz Lichter and Benedikt Pago
Publié dans: 2024
Éditeur: arxiv.org
DOI: 10.48550/ARXIV.2407.09097