Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

Open in new window