Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels

16 July 2020

Papers citing "Accelerating Robustness Verification of Deep Neural Networks Guided by Target Labels"

6 / 6 papers shown

Title
Advanced Evasion Attacks and Mitigations on Practical ML-Based Phishing Website Classifiers Yusi Lei Sen Chen Lingling Fan Fu Song Yang Liu AAML 33 50 0 15 Apr 2020
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 37 18 0 19 May 2019
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 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 251 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 329 5,849 0 08 Jul 2016