X: Towards Verified Explainability of Deep Neural Networks Haoze Wu Department of Computer Science Department of Computer Science Stanford University