Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Boetius, David, Bassan, Shahaf, Katz, Guy, Leue, Stefan, Sutter, Tobias
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
by: Hadad, Itamar, et al.
Published: (2026)

On the Computational Tractability of the (Many) Shapley Values
by: Marzouk, Reda, et al.
Published: (2025)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
by: Boetius, David, et al.
Published: (2024)

Provably Explaining Neural Additive Models
by: Bassan, Shahaf, et al.
Published: (2026)

Local vs. Global Interpretability: A Computational Complexity Perspective
by: Bassan, Shahaf, et al.
Published: (2024)

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation
by: Amir, Guy, et al.
Published: (2024)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
by: Wu, Haoze, et al.
Published: (2024)

What makes an Ensemble (Un) Interpretable?
by: Bassan, Shahaf, et al.
Published: (2025)

Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics
by: Boetius, David, et al.
Published: (2024)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
by: Bassan, Shahaf, et al.
Published: (2025)

SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism
by: Marzouk, Reda, et al.
Published: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
by: Teuber, Samuel, et al.
Published: (2024)

FAME: Formal Abstract Minimal Explanation for Neural Networks
by: Boumazouza, Ryma, et al.
Published: (2026)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
by: König, Matthias, et al.
Published: (2024)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
by: Zhang, Yani, et al.
Published: (2024)

Neural Network Verification using Partial Multi-Neuron Relaxation
by: Shmuel, Ido, et al.
Published: (2026)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains
by: Amir, Guy, et al.
Published: (2024)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
by: Li, Augustus Haoyang
Published: (2026)

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
by: Pati, Viresh, et al.
Published: (2026)

Hypergraph Neural Networks Accelerate MUS Enumeration
by: Ijima, Hiroya, et al.
Published: (2026)

Regional, Lattice and Logical Representations of Neural Networks
by: Preto, Sandro, et al.
Published: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
by: Yang, Jiong, et al.
Published: (2025)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
by: Zhao, Yanxiao, et al.
Published: (2025)

Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs)
by: Schwartz, Noah, et al.
Published: (2026)

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
by: Chevallier, Mark, et al.
Published: (2025)

Proof Minimization in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
by: Daggitt, Matthew L., et al.
Published: (2024)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
by: Zhang, Xiyue, et al.
Published: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
by: Nunn, Pierre, et al.
Published: (2024)

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
by: Cifuentes, Santiago, et al.
Published: (2024)

CQD-SHAP: Explainable Complex Query Answering via Shapley Values
by: Abbasi, Parsa, et al.
Published: (2025)

PICID: Proof-Driven Clause Learning in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

Value Function Initialization for Knowledge Transfer and Jump-start in Deep Reinforcement Learning
by: Mehimeh, Soumia
Published: (2025)