Universal Approximation with Certified Networks

Maximilian Baader, Matthew Mirman, Martin Vechev

Training neural networks to be certifiably robust is critical to ensure their safety against adversarial attacks. However, it is currently very difficult to train a neural network…