Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes - Matt Jordan; Justin Lewis; Alexandros G. Dimakis (2019)