Towards Proving the Adversarial Robustness of Deep Neural Networks
Deep Sparse Rectifier Neural Networks