Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
Verified SHAP: 神经网络精确Shapley值的可证明界
机构 * University of Konstanz, Konstanz, Germany(康斯坦茨大学) ; Hebrew University of Jerusalem, Jerusalem, Israel(耶路撒冷希伯来大学) ; University of St.Gallen, St.Gallen, Switzerland(斯图加特大学)
AI总结 利用神经网络验证技术,提出一种计算SHAP值精确上下界的算法,可扩展到比现有精确方法大数个数量级的搜索空间。
Comments Accepted at ICML 2026. 34 pages, 13 figures