paper-with-me

홈 › Papers

OPTIMUS-Prime: Minimal and Sufficient Concept Explanations for Deep Vision Models

2026-06-05 · Arthur Hoarau, Chenrui Zhu, Vu Linh Nguyen arxiv

The growing demand for transparency in automated decision-making has propelled eXplainable Artificial Intelligence (XAI) to the forefront of machine learning research. In computer vision, however, existing explanation methods often prioritize end-user accessibility at the expense of formal guarantees, leaving a critical gap between practical utility and theoretical rigor. In this paper, we address this gap by introducing OPTIMUS, a novel framework for generating concept-based visual explanations for deep classification models. OPTIMUS explanations take the form of visual heatmaps that not only remain interpretable to end users, but are grounded in the well-established theory of prime implicants, providing formal guarantees that have been largely absent from existing saliency-based methods. Specifically, OPTIMUS explanations satisfy two desirable properties: sufficiency, ensuring that the highlighted concepts provably guarantee the classifier's prediction, and minimality, ensuring that no strict subset of those concepts retains this guarantee. Together, these properties yield explanations that are both logically tight and visually coherent. We validate our approach on a visual classification benchmark, demonstrating that OPTIMUS heatmaps naturally and faithfully surface the decision-relevant concepts underlying model predictions.

📄 PDF Abstract BibTeX arXiv:2606.07180

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits

2023-01-30 · Alexis de Colnet, Pierre Marquis

We consider the problem EnumIP of enumerating prime implicants of Boolean functions represented by decision decomposable negation normal form (dec-DNNF) circuits. We study EnumIP from dec-DNNF within the framework of enu…

Negation

Prime Implicant Explanations for Reaction Feasibility Prediction

2025-10-10 · Klaus Weinbauer, Tieu-Long Phan, Peter F. Stadler, Thomas Gärtner 외 arxiv

Machine learning models that predict the feasibility of chemical reactions have become central to automated synthesis planning. Despite their predictive success, these models often lack transparency and interpretability.…

Connection-minimal Abduction in EL via Translation to FOL -- Technical Report

2022-05-17 · Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to repair incomplete knowledge bases, and to …

Translation

A New Class of Explanations for Classifiers with Non-Binary Features

2023-04-28 · Chunxi Ji, Adnan Darwiche

Two types of explanations have been receiving increased attention in the literature when analyzing the decisions made by classifiers. The first type explains why a decision was made and is known as a sufficient reason fo…

counterfactualCounterfactual Explanation

On the Computation of Necessary and Sufficient Explanations

2022-03-20 · Adnan Darwiche, Chunxi Ji

The complete reason behind a decision is a Boolean formula that characterizes why the decision was made. This recently introduced notion has a number of applications, which include generating explanations, detecting deci…

counterfactual