Cover Image

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Soeteman, Arie, Cate, Balder ten
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science I.2.6; F.2.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
by: Soeteman, Arie, et al.
Published: (2026)

On the Power and Limitations of Examples for Description Logic Concepts
by: Cate, Balder ten, et al.
Published: (2024)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
by: Ahvonen, Veeti, et al.
Published: (2024)

Logic interpretations of ANN partition cells
by: Schmitt, Ingo
Published: (2024)

An Axiomatic Approach to General Intelligence: SANC(E3) -- Self-organizing Active Network of Concepts with Energy E3
by: Kwon, Daesuk, et al.
Published: (2026)

Expressive Power of Deep Homomorphism Networks over Relational Databases
by: Schönherr, Moritz, et al.
Published: (2026)

Interpretability-Guided Bi-objective Optimization: Aligning Accuracy and Explainability
by: Fouladi, Kasra, et al.
Published: (2026)

Graceful task adaptation with a bi-hemispheric RL agent
by: Nicholas, Grant, et al.
Published: (2024)

Simulation-Driven Railway Delay Prediction: An Imitation Learning Approach
by: Elliker, Clément, et al.
Published: (2025)

Uncertainty-Aware Reward Discounting for Mitigating Reward Hacking
by: Singha, Disha
Published: (2026)

CoGraM: Context-sensitive granular optimization method with rollback for robust model fusion
by: Lenz, Julius
Published: (2025)

The Luna Bound Propagator for Formal Analysis of Neural Networks
by: LeCates, Henry, et al.
Published: (2026)

Intervention Complexity as a Canonical Reward and a Measure of Intelligence
by: McCane, Brendan
Published: (2026)

ARCTraj: A Dataset and Benchmark of Human Reasoning Trajectories for Abstract Problem Solving
by: Kim, Sejin, et al.
Published: (2025)

Position Paper: Bounded Alignment: What (Not) To Expect From AGI Agents
by: Minai, Ali A.
Published: (2025)

Beyond Mimicry: Preference Coherence in LLMs
by: Mikaelson, Luhan, et al.
Published: (2025)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
by: Filho, Francisco Mateus Rocha, et al.
Published: (2024)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
by: Morris, Matthew, et al.
Published: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
by: Morris, Matthew, et al.
Published: (2025)

Deep Reinforcement Learning for Adverse Garage Scenario Generation
by: Li, Kai
Published: (2024)

Do LLMs Game Formalization? Evaluating Faithfulness in Logical Reasoning
by: Kim, Kyuhee, et al.
Published: (2026)

A survey of air combat behavior modeling using machine learning
by: Gorton, Patrick Ribu, et al.
Published: (2024)

The ARC of Progress towards AGI: A Living Survey of Abstraction and Reasoning
by: Vahdati, Sahar, et al.
Published: (2026)

Learning How to Cube
by: Erata, Ferhat, et al.
Published: (2026)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
by: Jaakkola, Reijo, et al.
Published: (2024)

Augmenting deep neural networks with symbolic knowledge: Towards trustworthy and interpretable AI for education
by: Hooshyar, Danial, et al.
Published: (2023)

Matryoshka Policy Gradient for Entropy-Regularized RL: Convergence and Global Optimality
by: Ged, François, et al.
Published: (2023)

LaPro-DTA: Latent Dual-View Drug Representations and Salient Protein Feature Extraction for Generalizable Drug--Target Affinity Prediction
by: Dun, Zihan, et al.
Published: (2026)

Taming Differentiable Logics with Coq Formalisation
by: Affeldt, Reynald, et al.
Published: (2024)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
by: Ahvonen, Veeti, et al.
Published: (2026)

A Survey on Data-Dependent Worst-Case Generalization Bounds
by: Leroux, Hubert, et al.
Published: (2026)

Study Design and Demystification of Physics Informed Neural Networks for Power Flow Simulation
by: Leyli-abadi, Milad, et al.
Published: (2025)

Interpretable classifiers for tabular data via discretization and feature selection
by: Jaakkola, Reijo, et al.
Published: (2024)

The Parameters of Educability
by: Valiant, Leslie G.
Published: (2024)

Training Language Models to Win Debates with Self-Play Improves Judge Accuracy
by: Arnesen, Samuel, et al.
Published: (2024)

Reasoning Beyond the Obvious: Evaluating Divergent and Convergent Thinking in LLMs for Financial Scenarios
by: Bok, Zhuang Qiang, et al.
Published: (2025)

Revisiting Parameter-Based Knowledge Editing in Large Language Models: Theoretical Limits and Empirical Evidence
by: Ren, Wanying, et al.
Published: (2026)

Data-Driven Assessment of Concrete Mixture Compositions on Chloride Transport via Standalone Machine Learning Algorithms
by: Aliasghar-Mamaghani, Mojtaba, et al.
Published: (2026)

The Free Will Equation: Quantum Field Analogies for AGI
by: Kabali, Rahul
Published: (2025)