Department of Computer Science, Stanford University
Min Wu, Haoze Wu, Clark Barrett
trustworthy machine learning;deep neural networks;explainability;interpretability;formal methods;automated verification
VeriX: Towards Verified Explainability of Deep Neural Networks