Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure

23 April 2024

Papers citing "Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure"

6 / 6 papers shown

Title
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 19 32 0 06 Jul 2022
Certified Robustness of Community Detection against Adversarial Structural Perturbation via Randomized Smoothing Jinyuan Jia Binghui Wang Xiaoyu Cao Neil Zhenqiang Gong AAML 79 81 0 09 Feb 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 290 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Geometric deep learning: going beyond Euclidean data M. Bronstein Joan Bruna Yann LeCun Arthur Szlam P. Vandergheynst GNN 231 3,230 0 24 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016