DeepXplore: Automated Whitebox Testing of Deep Learning Systems

18 May 2017

Papers citing "DeepXplore: Automated Whitebox Testing of Deep Learning Systems"

10 / 160 papers shown

Title
Deep Neural Networks Motivated by Partial Differential Equations Lars Ruthotto E. Haber AI4CE 25 483 0 12 Apr 2018
TBD: Benchmarking and Analyzing Deep Neural Network Training Hongyu Zhu Mohamed Akrout Bojian Zheng Andrew Pelegris Amar Phanishayee Bianca Schroeder Gennady Pekhimenko 23 80 0 16 Mar 2018
Verifying Controllers Against Adversarial Examples with Bayesian Optimization Shromona Ghosh Felix Berkenkamp G. Ranade S. Qadeer Ashish Kapoor AAML 17 45 0 23 Feb 2018
Wild Patterns: Ten Years After the Rise of Adversarial Machine Learning Battista Biggio Fabio Roli AAML 23 1,388 0 08 Dec 2017
Generating Natural Adversarial Examples Zhengli Zhao Dheeru Dua Sameer Singh GAN AAML 32 596 0 31 Oct 2017
Deep Learning Techniques for Music Generation -- A Survey Jean-Pierre Briot Gaëtan Hadjeres F. Pachet MGen 32 297 0 05 Sep 2017
Failing to Learn: Autonomously Identifying Perception Failures for Self-driving Cars M. Ramanagopal Cyrus Anderson Ram Vasudevan Matthew Johnson-Roberson 27 104 0 30 Jun 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
Deep Reinforcement Learning: An Overview Yuxi Li OffRL VLM 104 1,502 0 25 Jan 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016