SAT-Based Rigorous Explanations for Decision Lists

14 May 2021

Papers citing "SAT-Based Rigorous Explanations for Decision Lists"

11 / 11 papers shown

Title
Axiomatic Characterisations of Sample-based Explainers Leila Amgoud Martin Cooper Salim Debbaoui FAtt 33 1 0 09 Aug 2024
Anytime Approximate Formal Feature Attribution Jinqiang Yu Graham Farr Alexey Ignatiev Peter J. Stuckey 30 2 0 12 Dec 2023
Inapproximability of sufficient reasons for decision trees Alexander Kozachinskiy 19 0 0 05 Apr 2023
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles John Törnblom Emil Karlsson Simin Nadjm-Tehrani FAtt 49 0 0 16 Mar 2023
Feature Necessity & Relevancy in ML Classifier Explanations Xuanxiang Huang Martin C. Cooper António Morgado Jordi Planes Sasha Rubin FAtt 32 18 0 27 Oct 2022
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 47 39 0 24 Oct 2022
On Computing Relevant Features for Explaining NBCs Yacine Izza Sasha Rubin 33 5 0 11 Jul 2022
Eliminating The Impossible, Whatever Remains Must Be True Jinqiang Yu Alexey Ignatiev Peter J. Stuckey Nina Narodytska Sasha Rubin 19 23 0 20 Jun 2022
On Efficiently Explaining Graph-Based Classifiers Xuanxiang Huang Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 34 37 0 02 Jun 2021
Explanations for Monotonic Classifiers Sasha Rubin Thomas Gerspacher M. Cooper Alexey Ignatiev Nina Narodytska FAtt 8 43 0 01 Jun 2021
Learning Certifiably Optimal Rule Lists for Categorical Data E. Angelino Nicholas Larus-Stone Daniel Alabi Margo Seltzer Cynthia Rudin 60 195 0 06 Apr 2017