Exact Verification of Graph Neural Networks with Incremental Constraint Solving
arXiv:2508.09320v3 Announce Type: replace-cross
Abstract: Graph neural networks (GNNs) are increasingly often employed in high-stakes applications, such as fraud detection or healthcare, but are susceptible to adversarial attacks. A number of techniqu…