A Logical View of GNN-Style Computation and the Role of Activation Functions
arXiv:2512.19332v2 Announce Type: replace Abstract: We study the numerical and Boolean expressiveness of MPLang, a declarative language that captures the computation of graph neural networks (GNNs) th