School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213; Carnegie Mellon University and NASA Ames, Moffett Field, CA 94043; Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA 15213
Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina Pasareanu, Matt Fredrikson
Certifiable Robustness;Ensemble;Adversarial Attack;Soundness
On the Perils of Cascading Robust Classifiers