Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
Not on the map. Why?
Abstract (arXiv)
Recent work proposed the computation of so-called PI-explanations of Naive Bayes Classifiers (NBCs). PI-explanations are subset-minimal sets of feature-value pairs that are sufficient for the prediction, and have been computed with state-of-the-art exact algorithms that are worst-case exponential in time and space. In contrast, we show that the computation of one PI-explanation for an NBC can be achieved in log-linear time, and that the same result also applies to the more general class of linear classifiers. Furthermore, we show that the enumeration of PI-explanations can be obtained with polynomial delay. Experimental results demonstrate the performance gains of the new algorithms when compared with earlier work. The experimental results also investigate ways to measure the quality of heuristic explanations
Key facts. Cited by 56 papers in the map (data through 7 Oct 2026). First posted on arXiv 13 Aug 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 9; 2022: 10; 2023: 7; 2024: 7; 2025: 10; 2026: 13.
56 papers.
Sort:
- 2022From Anecdotal Evidence to Quantitative Evaluation Methods: A Systematic Review on Evaluating Explainable AIcited by 299
- 2021On Explaining Random Forests with SATcited by 57
- 2022Logic-Based Explainability in Machine Learningcited by 47
- 2022On Tackling Explanation Redundancy in Decision Treescited by 44
- 2021On the Computational Intelligibility of Boolean Classifierscited by 40
- 2021SAT-Based Rigorous Explanations for Decision Listscited by 40
- 2021Explanations for Monotonic Classifierscited by 39
- 2021On Efficiently Explaining Graph-Based Classifierscited by 37
- 2022On Computing Probabilistic Explanations for Decision Treescited by 35
- 2021Trading Complexity for Sparsity in Random Forest Explanationscited by 32
- 2022VeriX: Towards Verified Explainability of Deep Neural Networkscited by 30
- 2023The Inadequacy of Shapley Values for Explainabilitycited by 30
38 more
- 2021Foundations of Symbolic Languages for Model Interpretabilitycited by 26
- 2021Probabilistic Sufficient Explanationscited by 24
- 2023Formally Explaining Neural Networks within Reactive Systemscited by 24
- 2022Eliminating The Impossible, Whatever Remains Must Be Truecited by 23
- 2023Logic for Explainable AIcited by 23
- 2024Local vs. Global Interpretability: A Computational Complexity Perspectivecited by 23
- 2022Feature Necessity & Relevancy in ML Classifier Explanationscited by 22
- 2022On Computing Probabilistic Abductive Explanationscited by 18
- 2025Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanationscited by 13
- 2023Disproving XAI Myths with Formal Methods -- Initial Resultscited by 12
- 2023On Formal Feature Attribution and Its Approximationcited by 11
- 2024Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretationcited by 11
- 2025Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasonscited by 11
- 2023Axiomatic Aggregations of Abductive Explanationscited by 10
- 2025Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanationscited by 10
- 2025Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspectivecited by 10
- 2026Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guaranteescited by 10
- 2023Anytime Approximate Formal Feature Attributioncited by 9
- 2022On Computing Relevant Features for Explaining NBCscited by 5
- 2024Logic-based Explanations for Linear Support Vector Classifiers with Reject Optioncited by 3
- 2025On the Complexity of Global Necessary Reasons to Explain Classificationcited by 3
- 2025Additive Models Explained: A Computational Complexity Approachcited by 3
- 2026FAME: Formal Abstract Minimal Explanation for Neural Networkscited by 3
- 2024Logic-Based Explainability: Past, Present & Futurecited by 2
- 2024Learning Model Agnostic Explanations via Constraint Programmingcited by 2
- 2026Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimizationcited by 2
- 2021Model Explanations via the Axiomatic Causal Lenscited by 1
- 2024AIDE: Antithetical, Intent-based, and Diverse Example-Based Explanationscited by 1
- 2024Efficient Contrastive Explanations on Demandcited by 1
- 2025Uncovering Bugs in Formal Explainers: A Case Study with PyXAIcited by 1
- 2026Provably Explaining Neural Additive Modelscited by 1
- 2026Unifying Formal Explanations: A Complexity-Theoretic Perspectivecited by 1
- 2026Binary Spiking Neural Networks as Causal Modelscited by 1
- 2022A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumerationcited by 0
- 2025Fixed Point Explainabilitycited by 0
- 2025Interpretable DNFscited by 0
- 2025Efficient & Correct Predictive Equivalence for Decision Treescited by 0
- 2026On the Hardness of Computing Counterfactual and Semifactual Explanations in XAIcited by 0
50 most cited of 56 All 56 (JSON)
- 2026From Abductive Explanations to Global Logical Rules for Node Classification in SGCs17 Aug 2026
- 2026OPTIMUS-Prime: Minimal and Sufficient Concept Explanations for Deep Vision Models5 Jun 2026
- 2026Binary Spiking Neural Networks as Causal Models29 Apr 2026
- 2026Towards Rigorous Explainability by Feature Attribution17 Apr 2026
- 2026Rigorous Explanations for Tree Ensembles31 Mar 2026
- 2026Scaling the Explanation of Multi-Class Bayesian Network Classifiers15 Mar 2026
- 2026Concisely Explaining the Doubt: Minimum-Size Abductive Explanations for Linear Models with a Reject Option14 Mar 2026
- 2026FAME: Formal Abstract Minimal Explanation for Neural Networks11 Mar 2026
- 2026Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization2 Mar 2026
- 2026Unifying Formal Explanations: A Complexity-Theoretic Perspective20 Feb 2026
- 2026Provably Explaining Neural Additive Models19 Feb 2026
- 2026Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees18 Feb 2026
38 more
- 2026On the Hardness of Computing Counterfactual and Semifactual Explanations in XAI14 Jan 2026
- 2025Uncovering Bugs in Formal Explainers: A Case Study with PyXAI5 Nov 2025
- 2025Additive Models Explained: A Computational Complexity Approach24 Oct 2025
- 2025Efficient & Correct Predictive Equivalence for Decision Trees22 Sep 2025
- 2025Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations10 Jun 2025
- 2025Interpretable DNFs27 May 2025
- 2025Fixed Point Explainability18 May 2025
- 2025Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons5 Feb 2025
- 2025Beyond Topological Self-Explainable GNNs: A Formal Explainability Perspective4 Feb 2025
- 2025On the Complexity of Global Necessary Reasons to Explain Classification12 Jan 2025
- 2025Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations10 Jan 2025
- 2024Efficient Contrastive Explanations on Demand24 Dec 2024
- 2024Learning Model Agnostic Explanations via Constraint Programming13 Nov 2024
- 2024Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation7 Aug 2024
- 2024AIDE: Antithetical, Intent-based, and Diverse Example-Based Explanations22 Jul 2024
- 2024Local vs. Global Interpretability: A Computational Complexity Perspective5 Jun 2024
- 2024Logic-Based Explainability: Past, Present & Future4 Jun 2024
- 2024Logic-based Explanations for Linear Support Vector Classifiers with Reject Option24 Mar 2024
- 2023Anytime Approximate Formal Feature Attribution12 Dec 2023
- 2023Axiomatic Aggregations of Abductive Explanations29 Sep 2023
- 2023Formally Explaining Neural Networks within Reactive Systems31 Jul 2023
- 2023On Formal Feature Attribution and Its Approximation7 Jul 2023
- 2023Disproving XAI Myths with Formal Methods -- Initial Results13 May 2023
- 2023Logic for Explainable AI9 May 2023
- 2023The Inadequacy of Shapley Values for Explainability16 Feb 2023
- 2022On Computing Probabilistic Abductive Explanations12 Dec 2022
- 2022VeriX: Towards Verified Explainability of Deep Neural Networks2 Dec 2022
- 2022Feature Necessity & Relevancy in ML Classifier Explanations27 Oct 2022
- 2022Logic-Based Explainability in Machine Learning24 Oct 2022
- 2022On Computing Relevant Features for Explaining NBCs11 Jul 2022
- 2022On Computing Probabilistic Explanations for Decision Trees30 Jun 2022
- 2022A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration23 Jun 2022
- 2022Eliminating The Impossible, Whatever Remains Must Be True20 Jun 2022
- 2022On Tackling Explanation Redundancy in Decision Trees20 May 2022
- 2022From Anecdotal Evidence to Quantitative Evaluation Methods: A Systematic Review on Evaluating Explainable AI20 Jan 2022
- 2021Foundations of Symbolic Languages for Model Interpretability5 Oct 2021
- 2021Model Explanations via the Axiomatic Causal Lens8 Sep 2021
- 2021Trading Complexity for Sparsity in Random Forest Explanations11 Aug 2021
50 newest of 56 All 56 (JSON)
- 2022From Anecdotal Evidence to Quantitative Evaluation Methods: A Systematic Review on Evaluating Explainable AIcited by 299
- 2021On Explaining Random Forests with SATcited by 57
- 2022Logic-Based Explainability in Machine Learningcited by 47
- 2022On Tackling Explanation Redundancy in Decision Treescited by 44
- 2021On the Computational Intelligibility of Boolean Classifierscited by 40
- 2021SAT-Based Rigorous Explanations for Decision Listscited by 40
- 2021Explanations for Monotonic Classifierscited by 39
- 2021On Efficiently Explaining Graph-Based Classifierscited by 37
- 2022On Computing Probabilistic Explanations for Decision Treescited by 35
- 2021Trading Complexity for Sparsity in Random Forest Explanationscited by 32
- 2022VeriX: Towards Verified Explainability of Deep Neural Networkscited by 30
- 2023The Inadequacy of Shapley Values for Explainabilitycited by 30
12 most cited of 56 All 56 (JSON)
- 2026From Abductive Explanations to Global Logical Rules for Node Classification in SGCs17 Aug 2026
- 2026OPTIMUS-Prime: Minimal and Sufficient Concept Explanations for Deep Vision Models5 Jun 2026
- 2026Binary Spiking Neural Networks as Causal Models29 Apr 2026
- 2026Towards Rigorous Explainability by Feature Attribution17 Apr 2026
- 2026Rigorous Explanations for Tree Ensembles31 Mar 2026
- 2026Scaling the Explanation of Multi-Class Bayesian Network Classifiers15 Mar 2026
- 2026Concisely Explaining the Doubt: Minimum-Size Abductive Explanations for Linear Models with a Reject Option14 Mar 2026
- 2026FAME: Formal Abstract Minimal Explanation for Neural Networks11 Mar 2026
- 2026Generalizing Logic-based Explanations for Machine Learning Classifiers via Optimization2 Mar 2026
- 2026Unifying Formal Explanations: A Complexity-Theoretic Perspective20 Feb 2026
- 2026Provably Explaining Neural Additive Models19 Feb 2026
- 2026Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees18 Feb 2026
12 newest of 56 All 56 (JSON)