1 citations · 1 across the 9 of their papers we have counts for
9 papers
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…
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,…
Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +3
We present a novel approach for graph classification based on tabularizing graph data via new variants of the Weisfeiler-Leman algorithm and then applying methods for tabular data.…
Expressive Power of Graph Transformers via Logic
Veeti Ahvonen, Maurice Funk, Damian Heiman +2
Transformers are the basis of modern large language models, but relatively little is known about their precise expressive power on graphs. We study the expressive power of graph tr…
Why this and not that? A Logic-based Framework for Contrastive Explanations
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto +2
We define several canonical problems related to contrastive explanations, each answering a question of the form ''Why P but not Q?''. The problems compute causes for both P and Q,…
Graph neural networks and MSO
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
We give an alternative proof for the existing result that recurrent graph neural networks working with reals have the same expressive power in restriction to monadic second-order l…
Formula size game and model checking for modal substitution calculus
Veeti Ahvonen, Reijo Jaakkola, Antti Kuusisto
Recent research has applied modal substitution calculus (MSC) and its variants to characterize various computational frameworks such as graph neural networks (GNNs) and distributed…
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
Veeti Ahvonen, Damian Heiman, Antti Kuusisto +1
In pioneering work from 2019, Barceló and coauthors identified logics that precisely match the expressive power of constant iteration-depth graph neural networks (GNNs) relative to…
Graded modal logic and counting message passing automata
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
We examine the relationship of graded (multi)modal logic to counting (multichannel) message passing automata with applications to the Weisfeiler-Leman algorithm. We introduce the n…