Cover Image

A Logical View of GNN-Style Computation and the Role of Activation Functions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barceló, Pablo, Geerts, Floris, Lanzinger, Matthias, Pakhomenko, Klara, Bussche, Jan Van den
Format:	Preprint
Published:	2025
Subjects:	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

Halting Recurrent GNNs and the Graded $μ$-Calculus
by: Bollen, Jeroen, et al.
Published: (2025)

The Role of Logic and Automata in Understanding Transformers
by: Lin, Anthony W., et al.
Published: (2025)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
by: Bogaerts, Bart, et al.
Published: (2022)

Boolformer: Symbolic Regression of Logic Functions with Transformers
by: d'Ascoli, Stéphane, et al.
Published: (2023)

Preservation theorems for Tarski's relation algebra
by: Bogaerts, Bart, et al.
Published: (2023)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

Executable First-Order Queries in the Logic of Information Flows
by: Aamer, Heba, et al.
Published: (2022)

Recursive querying of neural networks via weighted structures
by: Grohe, Martin, et al.
Published: (2026)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
by: Baldan, Paolo, et al.
Published: (2026)

The Logical Expressiveness of Topological Neural Networks
by: Akbari, Amirreza, et al.
Published: (2026)

Logic Gate Neural Networks are Good for Verification
by: Kresse, Fabian, et al.
Published: (2025)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning
by: Tasse, Geraud Nangue, et al.
Published: (2022)

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
by: Murphy, William, et al.
Published: (2024)

Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization
by: Filho, Francisco Mateus Rocha, et al.
Published: (2026)

Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering
by: Zhang, Chongzhi, et al.
Published: (2024)

A First-Order Logic-Based Alternative to Reward Models in RLHF
by: Jian, Chunjin, et al.
Published: (2025)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
by: Queiroz, Luiz Fernando Paulino, et al.
Published: (2026)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
by: Sulc, Antonin
Published: (2026)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

Boolean Variation and Boolean Logic BackPropagation
by: Nguyen, Van Minh
Published: (2023)

Conformal Signal Temporal Logic for Robust Reinforcement Learning Control: A Case Study
by: Beirami, Hani, et al.
Published: (2026)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
by: Gomes, Ronaldo, et al.
Published: (2026)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
by: König, Matthias, et al.
Published: (2024)

Computable universal online learning
by: Kalociński, Dariusz, et al.
Published: (2025)

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

BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
by: Pastva, Samuel, et al.
Published: (2026)

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

Value Functions as Supermartingale Certificates
by: Abate, Alessandro, et al.
Published: (2026)

Approximating Fixpoints of Approximated Functions
by: Baldan, Paolo, et al.
Published: (2025)

A Compositional Atlas for Algebraic Circuits
by: Wang, Benjie, et al.
Published: (2024)

Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
by: Guzmán, Manuel Vargas, et al.
Published: (2025)

Modal Logical Neural Networks
by: Sulc, Antonin
Published: (2025)

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

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
by: Işık, İlker, et al.
Published: (2024)

Learning Representations Through Contrastive Neural Model Checking
by: Krsmanovic, Vladimir, et al.
Published: (2025)

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
by: Cosler, Matthias, et al.
Published: (2024)

On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters
by: Lanzinger, Matthias, et al.
Published: (2023)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
by: Benedikt, Michael, et al.
Published: (2026)