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

We build such explanations and counterfactuals iteratively using constraint solving techniques and a heuristic based on featurelevel sensitivity ranking. We evaluate our method on image recognition benchmarks and a real-world scenario of autonomous aircraft taxiing.