VeriX: Towards Verified Explainability of Deep Neural Networks

VeriX: Towards Verified Explainability of Deep Neural Networks

2 December 2022

Min Wu

Clark W. Barrett

Papers citing "VeriX: Towards Verified Explainability of Deep Neural Networks"

4 / 4 papers shown

Title
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev João Marques-Silva FAtt 48 56 0 20 May 2022
Evaluating Deep Neural Networks Trained on Clinical Images in Dermatology with the Fitzpatrick 17k Dataset Matthew Groh Caleb Harris L. Soenksen Felix Lau Rachel Han Aerin Kim A. Koochek Omar Badri 104 180 0 20 Apr 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016