ML Anthology
Authors
Search
About
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