Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
arXiv:2605.24084v1 Announce Type: cross Abstract: Shapley additive explanations (SHAP) are widely recognised as computationally intractable for neural networks, since they induce an exponential search