Enhancing Certifiable Robustness via a Deep Model Ensemble

31 October 2019

Papers citing "Enhancing Certifiable Robustness via a Deep Model Ensemble"

7 / 7 papers shown

Title
TemporalAugmenter: An Ensemble Recurrent Based Deep Learning Approach for Signal Classification Nelly Elsayed Constantinos L. Zekios Navid Asadizanjani Zag ElSayed 19 0 0 13 Jan 2024
On the Perils of Cascading Robust Classifiers Ravi Mangal Zifan Wang Chi Zhang Klas Leino C. Păsăreanu Matt Fredrikson AAML 26 0 0 01 Jun 2022
On the Certified Robustness for Ensemble Models and Beyond Zhuolin Yang Linyi Li Xiaojun Xu B. Kailkhura Tao Xie Bo-wen Li AAML 26 48 0 22 Jul 2021
Adaptive Verifiable Training Using Pairwise Class Similarity Shiqi Wang Kevin Eykholt Taesung Lee Jiyong Jang Ian Molloy OOD 15 1 0 14 Dec 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 27 128 0 09 Sep 2020
Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond Kaidi Xu Zhouxing Shi Huan Zhang Yihan Wang Kai-Wei Chang Minlie Huang B. Kailkhura X. Lin Cho-Jui Hsieh AAML 11 11 0 28 Feb 2020
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