Fundamental Limits in Formal Verification of Message-Passing Neural Networks

10 June 2022

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

2 / 2 papers shown

Title
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 61 0 0 23 Apr 2024
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017