Veeti Ahvonen

13 papers A* 2B 2Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Descriptive complexity for neural networks via Boolean networks.
J. Log. Comput.
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2026 A* conf
Expressive Power of Graph Transformers via Logic.
AAAI
Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025 J jnl
Descriptive complexity for distributed computing with circuits.
J. Log. Comput.
Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2025 J jnl
Expressive Power of Graph Transformers via Logic.
CoRR
Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz
2025 J jnl
Games for graded modal substitution calculus.
CoRR
Veeti Ahvonen, Reijo Jaakkola, Antti Kuusisto
2025 J jnl
Graph neural networks and MSO.
CoRR
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024 B conf
Descriptive Complexity for Neural Networks via Boolean Networks.
CSL
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024 J jnl
Graded modal logic and counting message passing automata.
CoRR
Veeti Ahvonen, Damian Heiman, Antti Kuusisto
2024 J jnl
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats.
CoRR
Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2024 A* conf
Logical characterizations of recurrent graph neural networks with reals and floats.
NeurIPS
Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz
2023 B conf
Descriptive Complexity for Distributed Computing with Circuits.
MFCS
Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2023 J jnl
Descriptive complexity for distributed computing with circuits.
CoRR
Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto
2023 J jnl
Descriptive complexity for neural networks via Boolean networks.
CoRR
Veeti Ahvonen, Damian Heiman, Antti Kuusisto