A Dual Approach to Scalable Verification of Deep Networks

17 March 2018

Krishnamurthy Dvijotham

Papers citing "A Dual Approach to Scalable Verification of Deep Networks"

22 / 72 papers shown

Title
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 22 53 0 10 Jan 2020
Fine-grained Synthesis of Unrestricted Adversarial Examples Omid Poursaeed Tianxing Jiang Yordanos Goshu Harry Yang Serge J. Belongie Ser-Nam Lim AAML 32 13 0 20 Nov 2019
Enhancing Certifiable Robustness via a Deep Model Ensemble Huan Zhang Minhao Cheng Cho-Jui Hsieh 25 9 0 31 Oct 2019
Probabilistic Verification and Reachability Analysis of Neural Networks via Semidefinite Programming Mahyar Fazlyab M. Morari George J. Pappas AAML 32 41 0 09 Oct 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 25 28 0 17 Jul 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers Hadi Salman Greg Yang Jungshian Li Pengchuan Zhang Huan Zhang Ilya P. Razenshteyn Sébastien Bubeck AAML 25 535 0 09 Jun 2019
Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain Lei Bu Yuchao Duan Fu Song Zhe Zhao AAML 26 18 0 19 May 2019
What Do Adversarially Robust Models Look At? Takahiro Itazuri Yoshihiro Fukuhara Hirokatsu Kataoka Shigeo Morishima 16 5 0 19 May 2019
POPQORN: Quantifying Robustness of Recurrent Neural Networks Ching-Yun Ko Zhaoyang Lyu Tsui-Wei Weng Luca Daniel Ngai Wong Dahua Lin AAML 15 75 0 17 May 2019
Tutorial: Safe and Reliable Machine Learning S. Saria Adarsh Subbaswamy FaML 25 82 0 15 Apr 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 19 390 0 15 Mar 2019
Formal Verification of CNN-based Perception Systems Panagiotis Kouvaros A. Lomuscio 12 37 0 28 Nov 2018
Scalable agent alignment via reward modeling: a research direction Jan Leike David M. Krueger Tom Everitt Miljan Martic Vishal Maini Shane Legg 28 392 0 19 Nov 2018
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou M. Guizani AAML 16 23 0 06 Nov 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 20 341 0 10 Sep 2018
Adversarial examples from computational constraints Sébastien Bubeck Eric Price Ilya P. Razenshteyn AAML 62 230 0 25 May 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 15 471 0 28 Apr 2018
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 13 90 0 19 Apr 2018
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 47 117 0 20 Nov 2017
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
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 284 5,835 0 08 Jul 2016