Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Neural networks as fuzzy logic formulas
Damian Heiman, Antti Kuusisto, Esko Turunen
Neural networks are a fundamental aspect of modern artificial intelligence, playing a key role in various important machine learning architectures including transformers and graph…
cs.LO2026
Encoder-Decoder Transformers: Logical Characterizations and Periodicity
Veeti Ahvonen, Damian Heiman, Antti Kuusisto +2
We give logical characterizations of encoder-decoder transformers, the foundational architecture for LLMs that also sees use in various settings that benefit from cross-attention,…