{"total":13,"rows":[{"id":"2507.18145","title":"Logical Characterizations of GNNs with Mean Aggregation","created":"2025-07-24","cited_by_count":6,"area":null},{"id":"2505.00291","title":"Repetition Makes Perfect: Recurrent Graph Neural Networks Match Message-Passing Limit","created":"2025-05-01","cited_by_count":4,"area":null},{"id":"2512.19332","title":"A Logical View of GNN-Style Computation and the Role of Activation Functions","created":"2025-12-22","cited_by_count":3,"area":null},{"id":"2502.16244","title":"Verifying Quantized Graph Neural Networks is PSPACE-complete","created":"2025-02-22","cited_by_count":2,"area":null},{"id":"2505.11050","title":"Halting Recurrent GNNs and the Graded $\\mu$-Calculus","created":"2025-05-16","cited_by_count":2,"area":null},{"id":"2505.11930","title":"The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics","created":"2025-05-17","cited_by_count":2,"area":null},{"id":"2508.01067","title":"Expressive Power of Graph Transformers via Logic","created":"2025-08-01","cited_by_count":2,"area":null},{"id":"2511.11593","title":"Sound Logical Explanations for Mean Aggregation Graph Neural Networks","created":"2025-10-27","cited_by_count":2,"area":null},{"id":"2601.21882","title":"How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?","created":"2026-01-29","cited_by_count":1,"area":null},{"id":"2505.07816","title":"Graph neural networks and MSO","created":"2025-05-12","cited_by_count":0,"area":null},{"id":"2604.22870","title":"Towards Understanding the Expressive Power of GNNs with Global Readout","created":"2026-04-23","cited_by_count":0,"area":null},{"id":"2605.07705","title":"Encoder-Decoder Transformers: Logical Characterizations and Periodicity","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2605.10393","title":"The Polynomial Counting Capabilities of Message Passing Neural Networks","created":"2026-05-11","cited_by_count":0,"area":null}],"next_cursor":null}