Fundamental Limits in Formal Verification of Message-Passing Neural
Networks

v1v2 (latest)

Fundamental Limits in Formal Verification of Message-Passing Neural Networks

10 June 2022

ArXiv (abs)PDF HTML

Papers citing "Fundamental Limits in Formal Verification of Message-Passing Neural Networks"

16 / 16 papers shown

Title
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 231 0 0 23 Apr 2024
Reachability Is NP-Complete Even for the Simplest Neural Networks Marco Sälzer M. Lange 62 28 0 30 Aug 2021
The Logic of Graph Neural Networks Martin Grohe AI4CE 56 92 0 29 Apr 2021
Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More Aleksandar Bojchevski Johannes Klicpera Stephan Günnemann AAML 94 86 0 29 Aug 2020
Towards More Practical Adversarial Attacks on Graph Neural Networks Jiaqi Ma Shuangrui Ding Qiaozhu Mei AAML 66 121 0 09 Jun 2020
Scalable Attack on Graph Data by Injecting Vicious Nodes Jihong Wang Minnan Luo Fnu Suya Jundong Li Z. Yang Q. Zheng AAML GNN 85 90 0 22 Apr 2020
Indirect Adversarial Attacks via Poisoning Neighbors for Graph Convolutional Networks Tsubasa Takahashi GNN AAML 137 37 0 19 Feb 2020
What graph neural networks cannot learn: depth vs width Andreas Loukas GNN 93 301 0 06 Jul 2019
Adversarial Attacks on Graph Neural Networks via Meta Learning Daniel Zügner Stephan Günnemann OOD AAML GNN 134 574 0 22 Feb 2019
Graph Neural Networks for Social Recommendation Wenqi Fan Yao Ma Qing Li Yuan He Yue Zhao Jiliang Tang Dawei Yin 256 1,909 0 19 Feb 2019
A Comprehensive Survey on Graph Neural Networks Zonghan Wu Shirui Pan Fengwen Chen Guodong Long Chengqi Zhang Philip S. Yu FaML GNN AI4TS AI4CE 807 8,597 0 03 Jan 2019
Graph Neural Networks: A Review of Methods and Applications Jie Zhou Ganqu Cui Shengding Hu Zhengyan Zhang Cheng Yang Zhiyuan Liu Lifeng Wang Changcheng Li Maosong Sun AI4CE GNN 1.1K 5,551 0 20 Dec 2018
Weisfeiler and Leman Go Neural: Higher-order Graph Neural Networks Christopher Morris Martin Ritzert Matthias Fey William L. Hamilton J. E. Lenssen Gaurav Rattan Martin Grohe GNN 194 1,646 0 04 Oct 2018
How Powerful are Graph Neural Networks? Keyulu Xu Weihua Hu J. Leskovec Stefanie Jegelka GNN 261 7,710 0 01 Oct 2018
Neural Message Passing for Quantum Chemistry Justin Gilmer S. Schoenholz Patrick F. Riley Oriol Vinyals George E. Dahl 598 7,500 0 04 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 327 1,875 0 03 Feb 2017

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.