Decidability of graph neural networks via logical characterizations (Proceedings of the 51st International Colloquium on Automata Languages and Programming (ICALP 2024), 2024)

(untitled) - Benedikt, M; Lu, C-H; Motik, B; Tan, T