A Unified View of SDP-based Neural Network Verification through Completely Positive Programming

6 March 2022

Papers citing "A Unified View of SDP-based Neural Network Verification through Completely Positive Programming"

20 / 20 papers shown

Title
Neural Network Branch-and-Bound for Neural Network Verification Florian Jaeckle Jingyue Lu M. P. Kumar 36 8 0 27 Jul 2021
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition Alessandro De Palma Rudy Bunel Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 67 52 0 14 Apr 2021
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming Sumanth Dathathri Krishnamurthy Dvijotham Alexey Kurakin Aditi Raghunathan J. Uesato ... Shreya Shankar Jacob Steinhardt Ian Goodfellow Percy Liang Pushmeet Kohli AAML 97 95 0 22 Oct 2020
On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples Richard Y. Zhang AAML 26 26 0 11 Jun 2020
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 96 400 0 15 Mar 2019
Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 79 232 0 04 Mar 2019
A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks Hadi Salman Greg Yang Huan Zhang Cho-Jui Hsieh Pengchuan Zhang AAML 114 271 0 23 Feb 2019
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 100 439 0 02 Nov 2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin J. Uesato Relja Arandjelović Timothy A. Mann Pushmeet Kohli AAML 82 558 0 30 Oct 2018
Efficient Formal Safety Analysis of Neural Networks Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 70 404 0 19 Sep 2018
Scaling provable adversarial defenses Eric Wong Frank R. Schmidt J. H. Metzen J. Zico Kolter AAML 78 449 0 31 May 2018
Training verified learners with learned verifiers Krishnamurthy Dvijotham Sven Gowal Robert Stanforth Relja Arandjelović Brendan O'Donoghue J. Uesato Pushmeet Kohli OOD 62 169 0 25 May 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 84 478 0 28 Apr 2018
A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli 56 399 0 17 Mar 2018
Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study M. Fischetti Jason Jo 47 81 0 17 Dec 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 65 359 0 22 Jun 2017
DSOS and SDSOS Optimization: More Tractable Alternatives to Sum of Squares and Semidefinite Optimization Amir Ali Ahmadi Anirudha Majumdar 73 217 0 08 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 102 626 0 03 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 111 284 0 28 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 318 1,873 0 03 Feb 2017