The inadequacy of Shapley values for explainability

X Huang, J Marques-Silva - arXiv preprint arXiv:2302.08160, 2023 - arxiv.org
This paper develops a rigorous argument for why the use of Shapley values in explainable
AI (XAI) will necessarily yield provably misleading information about the relative importance …

Delivering inflated explanations

Y Izza, A Ignatiev, PJ Stuckey… - Proceedings of the AAAI …, 2024 - ojs.aaai.org
In the quest for Explainable Artificial Intelligence (XAI) one of the questions that frequently
arises given a decision made by an AI system is,``why was the decision made in this …

On the failings of Shapley values for explainability

X Huang, J Marques-Silva - International Journal of Approximate …, 2024 - Elsevier
Abstract Explainable Artificial Intelligence (XAI) is widely considered to be critical for building
trust into the deployment of systems that integrate the use of machine learning (ML) models …

Disproving XAI Myths with Formal Methods–Initial Results

J Marques-Silva - 2023 27th International Conference on …, 2023 - ieeexplore.ieee.org
The advances in Machine Learning (ML) in recent years have been both impressive and far-
reaching. However, the deployment of ML models is still impaired by a lack of trust in how …

Anytime approximate formal feature attribution

J Yu, G Farr, A Ignatiev, PJ Stuckey - arXiv preprint arXiv:2312.06973, 2023 - arxiv.org
Widespread use of artificial intelligence (AI) algorithms and machine learning (ML) models
on the one hand and a number of crucial issues pertaining to them warrant the need for …

A Framework for Data-Driven Explainability in Mathematical Optimization

KM Aigner, M Goerigk, M Hartisch, F Liers… - Proceedings of the …, 2024 - ojs.aaai.org
Advancements in mathematical programming have made it possible to efficiently tackle
large-scale real-world problems that were deemed intractable just a few decades ago …

A refutation of shapley values for explainability

X Huang, J Marques-Silva - arXiv preprint arXiv:2309.03041, 2023 - arxiv.org
Recent work demonstrated the existence of Boolean functions for which Shapley values
provide misleading information about the relative importance of features in rule-based …

Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation

Y Izza, X Huang, A Morgado, J Planes… - arXiv preprint arXiv …, 2024 - arxiv.org
The uses of machine learning (ML) have snowballed in recent years. In many cases, ML
models are highly complex, and their operation is beyond the understanding of human …

Logic-Based Explainability: Past, Present & Future

J Marques-Silva - arXiv preprint arXiv:2406.11873, 2024 - arxiv.org
In recent years, the impact of machine learning (ML) and artificial intelligence (AI) in society
has been absolutely remarkable. This impact is expected to continue in the foreseeable …

Recent advances in formal explainability

X Huang - 2023 - theses.hal.science
In the past decade, monumental breakthroughs in Artificial Intelligence (AI), particularly in
Machine Learning (ML), have shaped various fields. The widespread integration of complex …