3 papers
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.LO2025
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…
cs.LO2025
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…