paper-with-me

홈 › Papers

Formal Abductive Latent Explanations for Prototype-Based Networks

2025-11-20 · Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila arxiv

Case-based reasoning networks are machine-learning models that make predictions based on similarity between the input and prototypical parts of training samples, called prototypes. Such models are able to explain each decision by pointing to the prototypes that contributed the most to the final outcome. As the explanation is a core part of the prediction, they are often qualified as ``interpretable by design". While promising, we show that such explanations are sometimes misleading, which hampers their usefulness in safety-critical contexts. In particular, several instances may lead to different predictions and yet have the same explanation. Drawing inspiration from the field of formal eXplainable AI (FXAI), we propose Abductive Latent Explanations (ALEs), a formalism to express sufficient conditions on the intermediate (latent) representation of the instance that imply the prediction. Our approach combines the inherent interpretability of case-based reasoning models and the guarantees provided by formal XAI. We propose a solver-free and scalable algorithm for generating ALEs based on three distinct paradigms, compare them, and present the feasibility of our approach on diverse datasets for both standard and fine-grained image classification. The associated code can be found at https://github.com/julsoria/ale

📄 PDF Abstract BibTeX arXiv:2511.16588

Code (0)

등록된 구현이 없습니다.

Tasks

Fine-Grained Image Classification

Similar Papers 제목 키워드 기반

Beyond $L_2$: Generalizing Abductive Latent Explanations to Diverse Prototype-Based Architectures

2026-08-17 · Jules Soria, Alban Grastien, Romain Xu-Darme, Julien Girard-Satabin 외 arxiv

Prototype-based neural networks are hailed as interpretable-by-design architectures. Recently, Abductive Latent Explanations (ALE) were introduced to provide formal, mathematically guaranteed explanations that leverage t…

Abductive and Contrastive Explanations for Scoring Rules in Voting

2024-08-23 · Clément Contet, Umberto Grandi, Jérôme Mengin

We view voting rules as classifiers that assign a winner (a class) to a profile of voters' preferences (an instance). We propose to apply techniques from formal explainability, most notably abductive and contrastive expl…

Most General Explanations of Tree Ensembles (Extended Version)

2025-05-16 · Yacine Izza, Alexey Ignatiev, Sasha Rubin, Joao Marques-Silva 외

Explainable Artificial Intelligence (XAI) is critical for attaining trust in the operation of AI systems. A key question of an AI system is ``why was this decision made this way''. Formal approaches to XAI use a formal m…

Explainable artificial intelligenceExplainable Artificial Intelligence (XAI)

Delivering Inflated Explanations

2023-06-27 · Yacine Izza, Alexey Ignatiev, Peter Stuckey, Joao Marques-Silva

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 way?'' Formal approaches to explainabil…

Explainable artificial intelligenceExplainable Artificial Intelligence (XAI)

Beyond Verification: Abductive Explanations for Post-AI Assessment of Privacy Leakage

2025-11-13 · Belona Sonna, Alban Grastien, Claire Benn arxiv

Privacy leakage in AI-based decision processes poses significant risks, particularly when sensitive information can be inferred. We propose a formal framework to audit privacy leakage using abductive explanations, which …