Symmetry and Similarity

Información del proyecto

SymSim

Identificador del acuerdo de subvención: 101054974

DOI

10.3030/101054974

Fecha de la firma de la CE 30 Mayo 2022

Fecha de inicio 1 Octubre 2022

Fecha de finalización 30 Septiembre 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 2 495 575,00

Aportación de la UE

€ 2 495 575,00

Coordinado por

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (14)

Simulating Logspace-Recursion with Logarithmic Quantifier Depth

Autores: van Bergerem, Steffen; Grohe, Martin; Kiefer, Sandra; Oeljeklaus, Luca Frédéric Tilmann
Publicado en: 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
Editor: IEEE
DOI: 10.48550/arxiv.2304.12948

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

Autores: Lichter, Moritz; Pago, Benedikt Thomas; Seppelt, Tim Frederik
Publicado en: 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
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2308.05693

An Algorithmic Meta Theorem for Homomorphism Indistinguishability

Autores: Seppelt, Tim Frederik
Publicado en: 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2402.08989

The Complexity of Homomorphism Reconstructibility

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

Position: Future Directions in the Theory of Graph Machine Learning

Autores: Christopher Morris, Fabrizio Frasca, Nadav Dym, Haggai Maron, Ismail Ilkan Ceylan, Ron Levie, Derek Lim, Michael M. Bronstein, Martin Grohe, Stefanie Jegelka
Publicado en: 41st International Conference on Machine Learning, 2024
Editor: MLR Press

The Descriptive Complexity of Graph Neural Networks

Autores: Grohe, Martin
Publicado en: Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Editor: IEEE
DOI: 10.48550/arxiv.2303.04613

Are Targeted Messages More Effective?

Autores: Martin Grohe, Eran Rosenbluth
Publicado en: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024
Editor: ACM
DOI: 10.48550/arXiv.2403.06817

Fine-grained Expressivity of Graph Neural Networks

Autores: Böker, Jan; Levie, Ron; Huang, Ningyuan; Villar, Soledad; Morris, Christopher
Publicado en: Advances in Neural Information Processing Systems, 2023
Editor: MLR Press

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

Autores: Grohe, Martin; Lichter, Moritz; Neuen, Daniel; Schweitzer, Pascal
Publicado en: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2023
Editor: IEEE
DOI: 10.48550/arxiv.2308.11970

The Iteration Number of the Weisfeiler-Leman Algorithm

Autores: Martin Grohe, Moritz Lichter, Daniel Neuen
Publicado en: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024
Editor: IEEE
DOI: 10.48550/arXiv.2301.13317

Isomorphism for Tournaments of Small Twin Width

Autores: Martin Grohe and Daniel Neuen
Publicado en: Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.48550/arXiv.2312.02048

Some Thoughts on Graph Similarity

Autores: Martin Grohe
Publicado en: Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I, 2024
Editor: Springer
DOI: 10.48550/ARXIV.2411.10182

WL meet VC

Autores: Morris, Christopher; Geerts, Floris; Tönshoff, Jan; Grohe, Martin
Publicado en: Proceedings of the 40th International Conference on Machine Learning (PMLR), 2023, Honolulu, Hawaii, USA., 2023
Editor: MLR Press

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

Autores: Fluck, Eva; Seppelt, Tim Frederik; Spitzer, Gian Luca
Publicado en: 32nd EACSL Annual Conference on Computer Science Logic : CSL 2024, February 19–23, 2024, Naples, Italy / edited by Aniello Murano, Alexandra Silvapages, 2023
Editor: 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

Autores: Jan Tönshoff, Martin Ritzert, Eran Rosenbluth, Martin Grohe
Publicado en: Transactions on Machine Learning Research, 2024, ISSN 2835-8856
Editor: MLR Press
DOI: 10.48550/ARXIV.2309.00367

Logical equivalences, homomorphism indistinguishability, and forbidden minors

Autores: Tim Seppelt
Publicado en: Information and Computation, Edición 301, 2024, ISSN 0890-5401
Editor: Elsevier BV
DOI: 10.48550/arXiv.2302.11290

Weisfeiler-Leman Indistinguishability of Graphons

Autores: Jan Böker
Publicado en: The Electronic Journal of Combinatorics, Edición 30, 2023, ISSN 1077-8926
Editor: The Electronic Journal of Combinatorics
DOI: 10.37236/10973

Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability

Autores: David E. Roberson, Tim Seppelt
Publicado en: TheoretiCS, Edición Volume 3, 2024, ISSN 2751-4838
Editor: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/theoretics.24.20

Other (5)

The Parameterized Complexity of Learning Monadic Second-Order Logic

Autores: van Bergerem, Steffen; Grohe, Martin; Runde, Nina
Publicado en: 2023
Editor: arxiv.org
DOI: 10.48550/arxiv.2309.10489

Computational complexity of the Weisfeiler-Leman dimension

Autores: Lichter, Moritz; Raßmann, Simon; Schweitzer, Pascal
Publicado en: 2024
Editor: arxiv.org
DOI: 10.48550/arxiv.2402.11531

Structural Node Embeddings with Homomorphism Counts

Autores: Wolf, Hinrikus; Oeljeklaus, Luca Frédéric Tilmann; Kühner, Pascal; Grohe, Martin
Publicado en: 2023
Editor: arxiv.org
DOI: 10.48550/arxiv.2308.15283

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

Autores: Christoph Berkholz and Moritz Lichter and Harry Vinall-Smeeth
Publicado en: 2024
Editor: arxiv.org
DOI: 10.48550/ARXIV.2407.17947

Limitations of Affine Integer Relaxations for Solving Constraint Satisfaction Problems

Autores: Moritz Lichter and Benedikt Pago
Publicado en: 2024
Editor: arxiv.org
DOI: 10.48550/ARXIV.2407.09097