Imagen de Portada

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ahvonen, Veeti, Heiman, Damian, Kuusisto, Antti, Moreno, Miguel, Selin, Matias
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Artificial Intelligence F.4.1; F.1.1; I.2.0
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Graph neural networks and MSO
por: Ahvonen, Veeti, et al.
Publicado: (2025)

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

Graded modal logic and counting message passing automata
por: Ahvonen, Veeti, et al.
Publicado: (2024)

Neural networks as fuzzy logic formulas
por: Heiman, Damian, et al.
Publicado: (2026)

Descriptive complexity for neural networks via Boolean networks
por: Ahvonen, Veeti, et al.
Publicado: (2023)

Probabilistic Shoenfield Machines
por: Bujok, Maksymilian, et al.
Publicado: (2024)

On the existence of strong proof complexity generators
por: Krajicek, Jan
Publicado: (2022)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
por: Alpay, Faruk, et al.
Publicado: (2025)

Extended Nullstellensatz proof systems
por: Krajicek, Jan
Publicado: (2023)

A Theory for Probabilistic Polynomial-Time Reasoning
por: Chen, Lijie, et al.
Publicado: (2026)

AI-Oracle Machines for Intelligent Computing
por: Wang, Jie
Publicado: (2024)

Hardness of busy beaver value BB(15)
por: Stérin, Tristan, et al.
Publicado: (2021)

How to Verify a Turing Machine with Dafny
por: Lederer, Edgar F. A.
Publicado: (2026)

Turing machines deciders, part I
por: The bbchallenge Collaboration, et al.
Publicado: (2025)

Structure-Guided Automated Reasoning
por: Bannach, Max, et al.
Publicado: (2023)

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

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
por: Perháč, Ján, et al.
Publicado: (2025)

On the Realizability of Prime Conjectures in Heyting Arithmetic
por: Rosko, Milan
Publicado: (2025)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
por: Grabmayer, Clemens
Publicado: (2024)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
por: Jaakkola, Reijo, et al.
Publicado: (2024)

Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
por: Sundaram, Aarthi, et al.
Publicado: (2021)

Complex Logical Reasoning over Knowledge Graphs using Large Language Models
por: Choudhary, Nurendra, et al.
Publicado: (2023)

On the computational properties of ambivalent sets and functions
por: Normann, Dag, et al.
Publicado: (2026)

Robust Computation Tree Logic
por: Nayak, Satya Prakash, et al.
Publicado: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Leibniz's Monadology as Foundation for the Artificial Age Score: A Formal Architecture for Al Memory Evaluation
por: Kayadibi, Seyma Yaman
Publicado: (2025)

Undecidability in Relevant Logic
por: Knudstorp, Søren Brinck
Publicado: (2026)

A Theory of Hanoi Omega-Automata and Games
por: Filiot, Emmanuel, et al.
Publicado: (2026)

Punctually Standard and Nonstandard Models of Natural Numbers
por: Bazhenov, Nikolay, et al.
Publicado: (2026)

On the formalization of the notion of a concurrent algorithm
por: Middelburg, C. A.
Publicado: (2024)

Formalizing the notions of non-interactive and interactive algorithms
por: Middelburg, C. A.
Publicado: (2024)

Probabilistic Epistemic Dynamic Agentive Logic
por: Logan, Shay Allen
Publicado: (2026)

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

Efficient Solving of Quantified Inequality Constraints over the Real Numbers
por: Ratschan, Stefan
Publicado: (2002)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
por: Klaus, Natalia, et al.
Publicado: (2026)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
por: Hellwig, Jonathan, et al.
Publicado: (2025)

On the formalization of the notion of an algorithm
por: Middelburg, C. A.
Publicado: (2024)

Satisfiability of Context-free String Constraints with Subword-ordering and Transducers
por: Aiswarya, C, et al.
Publicado: (2024)

Why this and not that? A Logic-based Framework for Contrastive Explanations
por: Geibinger, Tobias, et al.
Publicado: (2025)