A Formalization of Robustness for Deep Neural Networks

24 March 2019

Papers citing "A Formalization of Robustness for Deep Neural Networks"

9 / 9 papers shown

Title
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 42 0 0 26 Jun 2024
When are Local Queries Useful for Robust Learning? Pascale Gourdeau Varun Kanade Marta Z. Kwiatkowska J. Worrell OOD 37 1 0 12 Oct 2022
Sample Complexity Bounds for Robustly Learning Decision Lists against Evasion Attacks Pascale Gourdeau Varun Kanade Marta Z. Kwiatkowska J. Worrell AAML 13 5 0 12 May 2022
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 21 31 0 09 Jun 2021
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 19 0 0 08 Mar 2021
Trustworthy AI Jeannette M. Wing 25 214 0 14 Feb 2020
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 27 90 0 19 Apr 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016