Imagen de Portada

Halting Recurrent GNNs and the Graded $μ$-Calculus

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bollen, Jeroen, Bussche, Jan Van den, Vansummeren, Stijn, Virtema, Jonni
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On Halting vs Converging in Recurrent Graph Neural Networks
por: Bollen, Jeroen, et al.
Publicado: (2026)

Unifying approach to uniform expressivity of graph neural networks
por: Luo, Huan, et al.
Publicado: (2026)

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

Towards Understanding the Expressive Power of GNNs with Global Readout
por: Funk, Maurice, et al.
Publicado: (2026)

A Logical View of GNN-Style Computation and the Role of Activation Functions
por: Barceló, Pablo, et al.
Publicado: (2025)

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

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
por: Kontinen, Juha, et al.
Publicado: (2024)

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

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
por: Hannula, Miika, et al.
Publicado: (2026)

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

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

Synchronous Team Semantics for Temporal Logics
por: Krebs, Andreas, et al.
Publicado: (2024)

Query languages for neural networks
por: Grohe, Martin, et al.
Publicado: (2024)

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

Machine Learning for Quantifier Selection in cvc5
por: Jakubův, Jan, et al.
Publicado: (2024)

Temporal Team Semantics Revisited
por: Gutsfeld, Jens Oliver, et al.
Publicado: (2021)

Learning Explainable and Better Performing Representations of POMDP Strategies
por: Bork, Alexander, et al.
Publicado: (2024)

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

Logical Characterizations of GNNs with Mean Aggregation
por: Schönherr, Moritz, et al.
Publicado: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
por: Jakubův, Jan, et al.
Publicado: (2024)

Constraint-aware Learning of Probabilistic Sequential Models for Multi-Label Classification
por: Buleshnyi, Mykhailo, et al.
Publicado: (2025)

P2C: Path to Counterfactuals
por: Dasgupta, Sopam, et al.
Publicado: (2025)

Autonomous Code Evolution Meets NP-Completeness
por: Yu, Cunxi, et al.
Publicado: (2025)

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

Expressive Temporal Specifications for Reward Monitoring
por: Adalat, Omar, et al.
Publicado: (2025)

Abduction of Domain Relationships from Data for VQA
por: Chowdhury, Al Mehdi Saadat, et al.
Publicado: (2025)

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review
por: Ciatto, Giovanni, et al.
Publicado: (2025)

On Trustworthy Rule-Based Models and Explanations
por: Siala, Mohamed, et al.
Publicado: (2025)

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

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

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
por: Baugh, Kexin Gu, et al.
Publicado: (2025)

Proceedings The 13th International Workshop on Theorem proving components for Educational software
por: Narboux, Julien, et al.
Publicado: (2025)

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

Solving Formal Math Problems by Decomposition and Iterative Reflection
por: Zhou, Yichi, et al.
Publicado: (2025)

Matrix Factorization for Inferring Associations and Missing Links
por: Barron, Ryan, et al.
Publicado: (2025)

Neurosymbolic Decision Trees
por: Möller, Matthias, et al.
Publicado: (2025)

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving
por: Dong, Kefan, et al.
Publicado: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
por: Bizzaro, Davide, et al.
Publicado: (2025)

Discovering New Theorems via LLMs with In-Context Proof Learning in Lean
por: Kasaura, Kazumi, et al.
Publicado: (2025)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
por: Yousefzadeh, Roozbeh, et al.
Publicado: (2025)