PulseAugur
EN
LIVE 18:49:13

New algorithm computes exact Shapley values for neural networks

Researchers have developed a new algorithm that can compute provable bounds for exact Shapley values in neural networks. This method utilizes advances in neural network verification to achieve arbitrarily tight bounds, ultimately allowing for the calculation of exact Shapley values. The approach demonstrates scalability to significantly larger search spaces compared to existing exact methods, marking a crucial step towards enabling exact SHAP computation for complex neural networks. AI

IMPACT Enables more accurate and verifiable feature attribution for neural network decisions, crucial for trust and debugging.

RANK_REASON The cluster contains an academic paper detailing a new algorithmic approach for computing Shapley values in neural networks. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

COVERAGE [1]

  1. arXiv cs.AI TIER_1 English(EN) · David Boetius, Shahaf Bassan, Guy Katz, Stefan Leue, Tobias Sutter ·

    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 space over the input features. In this work, we take a first step towards scali…