Logical characterizations of recurrent graph neural networks with reals and floats - Ahvonen, Veeti; Heiman, Damian; Kuusisto, Antti; Lutz, Carsten (Advances in Neural Information Processing Systems, 2024)