Descriptive Complexity for Neural Networks via Boolean Networks. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto (CSL, 2024)

Logical characterizations of recurrent graph neural networks with reals and floats. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto; Carsten Lutz (NeurIPS, 2024)

Graded modal logic and counting message passing automata. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto (CoRR, 2024)

Descriptive complexity for distributed computing with circuits. - Veeti Ahvonen; Damian Heiman; Lauri Hella; Antti Kuusisto (J. Log. Comput., 2025)

Graph neural networks and MSO. - Veeti Ahvonen; Damian Heiman; Antti Kuusisto (CoRR, 2025)