Bosch Center for Artiﬁcial Intelligence, Pittsburgh, PA; Bosch Center for Artiﬁcial Intelligence, Carnegie Mellon University, Pittsburgh, PA; The University of Texas at Austin, Austin, TX
Fatemeh Sheikholeslami, Ali Lotfi, Zico Kolter
Adversarial robustness;robust deep learning
Provably robust classification of adversarial examples with detection