Logical characterizations of recurrent graph neural networks with reals and floats

Open in new window