On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks