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 techniques have been proposed to provide adversarial...