Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness

17 February 2020

Papers citing "Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness"

4 / 4 papers shown

Title
TextDefense: Adversarial Text Detection based on Word Importance Entropy Lujia Shen Xuhong Zhang S. Ji Yuwen Pu Chunpeng Ge Xing Yang Yanghe Feng AAML 15 8 0 12 Feb 2023
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
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 261 3,109 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016