activity
20232026
most citedFormula size game and model checking for modal substitution calculus

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.CC2023

Descriptive complexity for neural networks via Boolean networks

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

We investigate the expressive power of neural networks from the point of view of descriptive complexity. We study neural networks that use floating-point numbers and piecewise poly…

cs.LO2023

Descriptive complexity for distributed computing with circuits

Veeti Ahvonen, Damian Heiman, Lauri Hella +1

We consider distributed algorithms in the realistic scenario where distributed message passing is operated via circuits. We show that within this setting, modal substitution calcul…