Cover Image

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nunn, Pierre, Sälzer, Marco, Schwarzentruber, François, Troquard, Nicolas
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verifying Quantized Graph Neural Networks is PSPACE-complete
by: Sälzer, Marco, et al.
Published: (2025)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
by: Chernobrovkin, Artem, et al.
Published: (2025)

Lecture Notes on Verifying Graph Neural Networks
by: Schwarzentruber, François
Published: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
by: Ghosh, Avijeet, et al.
Published: (2025)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
by: Sälzer, Marco, et al.
Published: (2024)

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
by: Johnson, Blair, et al.
Published: (2025)

Regional, Lattice and Logical Representations of Neural Networks
by: Preto, Sandro, et al.
Published: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
by: Zhang, Yani, et al.
Published: (2024)

Efficient Certified Reasoning for Binarized Neural Networks
by: Yang, Jiong, et al.
Published: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

The Polynomial Counting Capabilities of Message Passing Neural Networks
by: Sälzer, Marco, et al.
Published: (2026)

Multitask Kernel-based Learning with First-Order Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2023)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
by: Zhao, Yanxiao, et al.
Published: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)

A Simple Logic of Cohesive Group Agency
by: Troquard, Nicolas
Published: (2025)

Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
by: Morishita, Terufumi, et al.
Published: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
by: Alsmann, Eric, et al.
Published: (2026)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
by: Damera, Sai Sandeep, et al.
Published: (2026)

FLARE: Faithful Logic-Aided Reasoning and Exploration
by: Arakelyan, Erik, et al.
Published: (2024)

The Geometry of Reasoning: Flowing Logics in Representation Space
by: Zhou, Yufa, et al.
Published: (2025)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
by: DeLong, Lauren Nicole, et al.
Published: (2023)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
by: Damera, Sai Sandeep, et al.
Published: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
by: Li, Augustus Haoyang
Published: (2026)

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
by: Opedal, Andreas, et al.
Published: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
by: Zhapa-Camacho, Fernando, et al.
Published: (2025)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
by: Chen, Michael K., et al.
Published: (2025)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
by: Zhang, Xiyue, et al.
Published: (2024)

Dual Box Embeddings for the Description Logic EL++
by: Jackermeier, Mathias, et al.
Published: (2023)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Think Locally, Explain Globally: Graph-Guided LLM Investigations via Local Reasoning and Belief Propagation
by: Jha, Saurabh, et al.
Published: (2026)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
by: Mukherji, Kaustuv, et al.
Published: (2025)