Fast Neural Network Verification via Shadow Prices

Fast Neural Network Verification via Shadow Prices

19 February 2019

Vicencc Rubies-Royo

Roberto Calandra

Papers citing "Fast Neural Network Verification via Shadow Prices"

14 / 14 papers shown

Title
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 33 6 0 01 Nov 2022
A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops Nicholas Rober Michael Everett Songan Zhang Jonathan P. How 29 9 0 14 Oct 2022
Sound and Complete Verification of Polynomial Networks Elias Abad Rocamora Mehmet Fatih Şahin Fanghui Liu Grigorios G. Chrysos V. Cevher 23 5 0 15 Sep 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 42 17 0 29 Jun 2022
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
Neural Network Branch-and-Bound for Neural Network Verification Florian Jaeckle Jingyue Lu M. P. Kumar 18 8 0 27 Jul 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 30 65 0 26 Jul 2021
Constrained Feedforward Neural Network Training via Reachability Analysis Long Kiu Chung Adam Dai Derek Knowles Shreyas Kousik Grace Gao 11 8 0 16 Jul 2021
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification Brendon G. Anderson Ziye Ma Jingqi Li Somayeh Sojoudi 58 1 0 22 Jan 2021
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 30 390 0 15 Mar 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 292 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 231 1,837 0 03 Feb 2017
Convolutional Neural Networks for Sentence Classification Yoon Kim AILaw VLM 255 13,364 0 25 Aug 2014