{"slug": "verified-shap-provable-bounds-for-exact-shapley-values-of-neural-networks", "title": "Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks", "summary": "Researchers introduced Verified SHAP, an algorithm that uses neural network verification to compute exact lower and upper bounds on Shapley values for neural networks. The method scales to search spaces orders of magnitude larger than existing exact approaches, addressing the long-standing computational intractability of SHAP for neural networks. This breakthrough provides a foundation for evaluating statistical approximation methods and enables exact Shapley value computation on significantly larger input feature spaces.", "body_md": "arXiv:2605.24084v1 Announce Type: new\nAbstract: Shapley additive explanations (SHAP) are widely recognised as computationally intractable for neural networks, since they induce an exponential search space over the input features. In this work, we take a first step towards scaling exact SHAP computation to larger search spaces by introducing an algorithm that leverages recent advances in neural network verification to compute arbitrarily tight exact lower and upper bounds on SHAP values for neural networks, ultimately recovering the exact SHAP values. We demonstrate that our approach scales to orders of magnitude larger search spaces than state-of-the-art exact methods. This provides an important first step towards exact SHAP computation and establishes a principled cornerstone for evaluating statistical approximation methods on larger search spaces.", "url": "https://wpnews.pro/news/verified-shap-provable-bounds-for-exact-shapley-values-of-neural-networks", "canonical_source": "https://arxiv.org/abs/2605.24084", "published_at": "2026-05-26 04:00:00+00:00", "updated_at": "2026-05-26 04:07:51.733021+00:00", "lang": "en", "topics": ["machine-learning", "neural-networks", "ai-research"], "entities": [], "alternates": {"html": "https://wpnews.pro/news/verified-shap-provable-bounds-for-exact-shapley-values-of-neural-networks", "markdown": "https://wpnews.pro/news/verified-shap-provable-bounds-for-exact-shapley-values-of-neural-networks.md", "text": "https://wpnews.pro/news/verified-shap-provable-bounds-for-exact-shapley-values-of-neural-networks.txt", "jsonld": "https://wpnews.pro/news/verified-shap-provable-bounds-for-exact-shapley-values-of-neural-networks.jsonld"}}