Heiman, Damian

1 publications

NeurIPS 2024 Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz