{"total":14,"rows":[{"id":"2405.14606","title":"Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats","created":"2024-05-23","cited_by_count":13,"area":null},{"id":"2508.09320","title":"Exact Verification of Graph Neural Networks with Incremental Constraint Solving","created":"2025-08-12","cited_by_count":4,"area":null},{"id":"2506.13911","title":"Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization","created":"2025-06-16","cited_by_count":3,"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.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":"2509.23912","title":"From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks","created":"2025-09-28","cited_by_count":1,"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":"2510.18591","title":"Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing","created":"2025-10-21","cited_by_count":0,"area":null},{"id":"2606.17882","title":"Structural Preservation and the Logical Expressiveness of Graph Neural Networks","created":"2026-06-16","cited_by_count":0,"area":null},{"id":"2608.12617","title":"The Boolean Power of ReLU","created":"2026-08-12","cited_by_count":0,"area":null},{"id":"2610.03526","title":"Beyond Trained Models: Compiling GNNs for a Sound Explainer Benchmark","created":"2026-10-02","cited_by_count":0,"area":null}],"next_cursor":null}