Veeti Ahvonen

According to our database, Veeti Ahvonen authored at least 6 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Games for graded modal substitution calculus.

Veeti Ahvonen, Reijo Jaakkola, Antti Kuusisto

CoRR, May, 2025

Graph neural networks and MSO.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

CoRR, May, 2025

Descriptive complexity for distributed computing with circuits.

Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto

J. Log. Comput., 2025

2024

Graded modal logic and counting message passing automata.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

CoRR, 2024

Logical characterizations of recurrent graph neural networks with reals and floats.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Descriptive Complexity for Neural Networks via Boolean Networks.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024