TY  - RPRT
TI  - Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
AU  - Veeti Ahvonen
AU  - Damian Heiman
AU  - Antti Kuusisto
AU  - Carsten Lutz
PY  - 2025
UR  - https://arxiv.org/abs/2405.14606
ID  - 2405.14606
ER  -