Maximilian Pflueger

Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic

The success of Graph Neural Networks (GNNs) in practice has motivated extensive research on their theoretical properties. This includes recent results that characterise node classifiers expressible by GNNs in terms of first order logic. Most of the analysis, however, has been focused on GNNs with fi…