Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
arXiv:2609.30079v1 Announce Type: cross Abstract: Graph neural networks (GNNs) have become a prominent approach for developing fast, topology-aware surrogates in electric power systems, supporting tasks such as power flow (PF) analysis, optimal power flow (OPF) estimation, and cascading failure…