Preprint "Algorithms for Verifying Deep Neural Networks" available on ArXiv

This paper surveys emerging algorithms to verify whether a deep neural network satisfies certain input-output properties. We will present the work at AAAI 2019 Spring Symposium Verification of Neural Networks (VNN19) on March 25, and ICLR 2019 Workshop on Debugging Machine Learning Models (DebugML-19) on May 6.