Provably_Robust_DNN

Implemented a convex relaxation of the adversarial polytype of a ReLU-Based DNN to create a provably robust network using mathematical models described in E. Wong and Z. Kolter's 2018 paper “Provable defenses against adversarial examples via the convex outer adversarial polytope” (https://arxiv.org/abs/1711.00851).