MixTrain: Scalable Training of Formally Robust Neural Networks.
Wide Residual Networks