Chordal Sparsity for SDP-based Neural Network Verification

7 June 2022

Papers citing "Chordal Sparsity for SDP-based Neural Network Verification"

4 / 4 papers shown

Title
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 34 1 0 27 May 2024
Neural Network Verification in Control M. Everett AAML 27 16 0 30 Sep 2021
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,835 0 03 Feb 2017