Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation
Abstract
The use of Shap scores has become widespread in Explainable AI. However, their computation is in general intractable, in particular when done with a black-box classifier, such as neural network. Recent research has unveiled classes of open-box Boolean Circuit classifiers for which Shap can be computed efficiently. We show how to transform binary neural networks into those circuits for efficient Shap computation.We use logic-based knowledge compilation techniques. The performance gain is huge, as we show in the light of our experiments.
Keywords
Cite
@article{arxiv.2303.06516,
title = {Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation},
author = {Leopoldo Bertossi and Jorge E. Leon},
journal= {arXiv preprint arXiv:2303.06516},
year = {2023}
}
Comments
Substantial revision of previous version with the same title. To appear in conference proceedings. It replaces the previously uploaded paper "Opening Up the Neural Network Classifier for Shap Score Computation", by the same authors