Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks

In three linesAlgorithm to compute exact bounds on SHAP values for neural networks by leveraging neural network verification. Reduces exponential complexity and scales to orders of magnitude larger search spaces than existing exact methods.

Summary generated by Claude — human-verified