Improving Neural Network Verification through Spurious Region Guided Refinement

15 October 2020

Jun Sun

Papers citing "Improving Neural Network Verification through Spurious Region Guided Refinement"

20 / 20 papers shown

Title
DeepAbstract: Neural Network Abstraction for Accelerating Verification P. Ashok Vahid Hashemi Jan Křetínský S. Mohr 30 50 0 24 Jun 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 51 129 0 12 Apr 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 99 126 0 31 Oct 2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson Shankara Pailoor Işıl Dillig Swarat Chaudhuri AAML 70 101 0 22 Apr 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 61 80 0 26 Feb 2019
Robustness of Neural Networks: A Probabilistic and Practical Approach Ravi Mangal A. Nori A. Orso AAML OOD 49 76 0 15 Feb 2019
Adversarial Sample Detection for Deep Neural Network through Model Mutation Testing Jingyi Wang Guoliang Dong Jun Sun Xinyu Wang Peixin Zhang AAML 43 191 0 14 Dec 2018
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 55 83 0 17 Nov 2018
Deep Neural Network Compression for Aircraft Collision Avoidance Systems Kyle D. Julian Mykel J. Kochenderfer Michael P. Owen 47 172 0 09 Oct 2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 50 111 0 10 Jul 2018
Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing Jingyi Wang Jun Sun Peixin Zhang Xinyu Wang AAML 46 41 0 14 May 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 74 271 0 06 May 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 100 694 0 25 Apr 2018
Feature-Guided Black-Box Safety Testing of Deep Neural Networks Matthew Wicker Xiaowei Huang Marta Kwiatkowska AAML 46 235 0 21 Oct 2017
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 64 217 0 19 Sep 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 63 359 0 22 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 102 626 0 03 May 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 315 1,867 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 215 943 0 21 Oct 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 268 14,918 1 21 Dec 2013