Towards stable and efficient training of verifiably robust neural networks

A method for learning models robust to adversarial examples.

BibTex: