Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks