Image de couverture de livre

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ahvonen, Veeti, Heiman, Damian, Kuusisto, Antti, Lutz, Carsten
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence F.4.1; F.1.1; I.2.0
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Expressive Power of Graph Transformers via Logic
par: Ahvonen, Veeti, et autres
Publié: (2025)

Graph neural networks and MSO
par: Ahvonen, Veeti, et autres
Publié: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
par: Ahvonen, Veeti, et autres
Publié: (2026)

Graded modal logic and counting message passing automata
par: Ahvonen, Veeti, et autres
Publié: (2024)

Neural networks as fuzzy logic formulas
par: Heiman, Damian, et autres
Publié: (2026)

Descriptive complexity for neural networks via Boolean networks
par: Ahvonen, Veeti, et autres
Publié: (2023)

Probabilistic Shoenfield Machines
par: Bujok, Maksymilian, et autres
Publié: (2024)

The Luna Bound Propagator for Formal Analysis of Neural Networks
par: LeCates, Henry, et autres
Publié: (2026)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
par: Alpay, Faruk, et autres
Publié: (2025)

On the existence of strong proof complexity generators
par: Krajicek, Jan
Publié: (2022)

Extended Nullstellensatz proof systems
par: Krajicek, Jan
Publié: (2023)

A Theory for Probabilistic Polynomial-Time Reasoning
par: Chen, Lijie, et autres
Publié: (2026)

How to Verify a Turing Machine with Dafny
par: Lederer, Edgar F. A.
Publié: (2026)

Structure-Guided Automated Reasoning
par: Bannach, Max, et autres
Publié: (2023)

AI-Oracle Machines for Intelligent Computing
par: Wang, Jie
Publié: (2024)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
par: Perháč, Ján, et autres
Publié: (2025)

Hardness of busy beaver value BB(15)
par: Stérin, Tristan, et autres
Publié: (2021)

Turing machines deciders, part I
par: The bbchallenge Collaboration, et autres
Publié: (2025)

Complex Logical Reasoning over Knowledge Graphs using Large Language Models
par: Choudhary, Nurendra, et autres
Publié: (2023)

Robust Computation Tree Logic
par: Nayak, Satya Prakash, et autres
Publié: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
par: Coniglio, Marcelo E., et autres
Publié: (2024)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
par: Sundaram, Aarthi, et autres
Publié: (2021)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
par: Jaakkola, Reijo, et autres
Publié: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
par: Hellwig, Jonathan, et autres
Publié: (2025)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
par: Grabmayer, Clemens
Publié: (2024)

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
par: Ratschan, Stefan
Publié: (2002)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

Two-Level Type Theory and Applications
par: Annenkov, Danil, et autres
Publié: (2017)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
par: Jaakkola, Reijo, et autres
Publié: (2024)

On the Realizability of Prime Conjectures in Heyting Arithmetic
par: Rosko, Milan
Publié: (2025)

Probabilistic Epistemic Dynamic Agentive Logic
par: Logan, Shay Allen
Publié: (2026)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

A Theory of Hanoi Omega-Automata and Games
par: Filiot, Emmanuel, et autres
Publié: (2026)

Proof Compression via Subatomic Logic and Guarded Substitutions
par: Barrett, Victoria, et autres
Publié: (2025)

Logic of Sets with Atoms
par: Masters, Jake
Publié: (2025)

Undecidability in Relevant Logic
par: Knudstorp, Søren Brinck
Publié: (2026)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
par: de Rezende, Susanna F., et autres
Publié: (2019)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
par: Klaus, Natalia, et autres
Publié: (2026)

Comparing State-Representations for DEL Model Checking
par: Behnke, Gregor, et autres
Publié: (2025)