Fast and Stable Interval Bounds Propagation for Training Verifiably Robust Models

Paweł Morawiecki, Przemysław Spurek, Marek Śmieja +1

We present an efficient technique, which allows to train classification networks which are verifiably robust against norm-bounded adversarial attacks. This framework is built upon…