This seems to be a newly hot topic, whether to fight adversarial inputs or looking for efficiencies. I bookmarked a few relevant blogs (but really need to read

This seems to be a newly hot topic, whether to fight adversarial inputs or looking for efficiencies. I bookmarked a few relevant blogs (but really need to read more deeply) http://composition.al/blog/2017/05/31/proving-that-safety-critical-neural-networks-do-what-theyre-supposed-to-where-we-are-where-were-going-part-2-of-2/ http://composition.al/blog/2017/05/31/proving-that-safety-cr... http://www.cleverhans.io/security/privacy/ml/2017/06/14/verification.html http://www.cleverhans.io/security/privacy/ml/2017/06/14/veri... https://blog.foretellix.com/ https://blog.foretellix.com/ and another preprint: https://arxiv.org/abs/1706.10268 https://arxiv.org/abs/1706.10268