Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

Veeti Ahvonen, Damian Heiman, Antti Kuusisto +1

In pioneering work from 2019, Barceló and coauthors identified logics that precisely match the expressive power of constant iteration-depth graph neural networks (GNNs) relative to…