A Formalization of Robustness for Deep Neural Networks

24 March 2019

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

8 / 8 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 39 0 0 26 Jun 2024
When are Local Queries Useful for Robust Learning? Pascale Gourdeau Varun Kanade Marta Z. Kwiatkowska J. Worrell OOD 35 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
Testing Autonomous Systems with Believed Equivalence Refinement Chih-Hong Cheng Rongjie Yan 14 0 0 08 Mar 2021
Trustworthy AI Jeannette M. Wing 20 214 0 14 Feb 2020
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 19 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 231 1,837 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