Buchumschlag

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Soeteman, Arie, Benedikt, Michael, Grohe, Martin, Cate, Balder ten
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Machine Learning I.2.6, F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
von: Soeteman, Arie, et al.
Veröffentlicht: (2025)

On the Power and Limitations of Examples for Description Logic Concepts
von: Cate, Balder ten, et al.
Veröffentlicht: (2024)

When do homomorphism counts help in query algorithms?
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

Learning How to Cube
von: Erata, Ferhat, et al.
Veröffentlicht: (2026)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
von: Kim, Kyuhee, et al.
Veröffentlicht: (2026)

Interpretable classifiers for tabular data via discretization and feature selection
von: Jaakkola, Reijo, et al.
Veröffentlicht: (2024)

Uniform Computability of PAC Learning
von: Brattka, Vasco, et al.
Veröffentlicht: (2026)

On an ordinary expansion of first-order Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2023)

Expressive Power of Graph Transformers via Logic
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning
von: Li, Shenghao
Veröffentlicht: (2025)

Locality in Residuated-Lattice Structures
von: Carr, James
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2024)

Robust Computation Tree Logic
von: Nayak, Satya Prakash, et al.
Veröffentlicht: (2022)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Neural networks as fuzzy logic formulas
von: Heiman, Damian, et al.
Veröffentlicht: (2026)

Comparing Fairness of Generative Mobility Models
von: Wang, Daniel, et al.
Veröffentlicht: (2024)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
von: Catta, Davide, et al.
Veröffentlicht: (2026)

Saturating Scaling Laws for Equational Discovery: A Phenomenology of Growth Dynamics in Three Toy Substrates with Two Real-World Replications
von: Rovai, Fabio
Veröffentlicht: (2026)

Expressivity of bisimulation pseudometrics over analytic state spaces
von: Luckhardt, Daniel, et al.
Veröffentlicht: (2025)

Interpretable DNFs
von: Cooper, Martin C., et al.
Veröffentlicht: (2025)

Discernment is all you need
von: Fuenmayor, David
Veröffentlicht: (2026)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
von: Schellhorn, Daniel Romero, et al.
Veröffentlicht: (2026)

From categorized neural architectures to subexponential proof theory
von: Ovalle, Carlos Ramírez
Veröffentlicht: (2026)

A Sequent Calculus for General Inductive Definitions
von: Eede, Robbe Van den, et al.
Veröffentlicht: (2026)

Graph neural networks and MSO
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Mechanized HOL Reasoning in Set Theory
von: Guilloud, Simon, et al.
Veröffentlicht: (2024)

Incomplete Descriptions and Qualified Definiteness
von: Więckowski, Bartosz
Veröffentlicht: (2024)

Term Orders for Optimistic Lambda-Superposition
von: Bentkamp, Alexander, et al.
Veröffentlicht: (2025)

Metric Equational Theories
von: Mardare, Radu, et al.
Veröffentlicht: (2025)

Canonical for Automated Theorem Proving in Lean
von: Norman, Chase, et al.
Veröffentlicht: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
von: Norman, Chase, et al.
Veröffentlicht: (2026)

Two-Level Type Theory and Applications
von: Annenkov, Danil, et al.
Veröffentlicht: (2017)

Measuring the Authority Stack of AI Systems: Empirical Analysis of 366,120 Forced-Choice Responses Across 8 AI Models
von: Lee, Seulki
Veröffentlicht: (2026)

On Woolhouse's Cotton-Spinning Problem
von: Groote, Jan Friso, et al.
Veröffentlicht: (2024)

Human Values in a Single Sentence: Moral Presence, Hierarchies, and Transformer Ensembles on the Schwartz Continuum
von: Yeste, Víctor, et al.
Veröffentlicht: (2026)