On Explaining Random Forests with SAT

21 May 2021

Papers citing "On Explaining Random Forests with SAT"

21 / 21 papers shown

Title
A Fast Kernel-based Conditional Independence test with Application to Causal Discovery Oliver Schacht Biwei Huang 17 0 0 16 May 2025
Axiomatic Characterisations of Sample-based Explainers Leila Amgoud Martin Cooper Salim Debbaoui FAtt 47 1 0 09 Aug 2024
Locally-Minimal Probabilistic Explanations Yacine Izza Kuldeep S. Meel Sasha Rubin 21 3 0 19 Dec 2023
Anytime Approximate Formal Feature Attribution Jinqiang Yu Graham Farr Alexey Ignatiev Peter Stuckey 30 2 0 12 Dec 2023
Logic for Explainable AI Adnan Darwiche 35 8 0 09 May 2023
A New Class of Explanations for Classifiers with Non-Binary Features Chunxi Ji Adnan Darwiche FAtt 28 3 0 28 Apr 2023
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles John Törnblom Emil Karlsson Simin Nadjm-Tehrani FAtt 54 0 0 16 Mar 2023
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 48 11 0 02 Dec 2022
Explaining Random Forests using Bipolar Argumentation and Markov Networks (Technical Report) Nico Potyka Xiang Yin Francesca Toni 18 10 0 21 Nov 2022
Feature Necessity & Relevancy in ML Classifier Explanations Xuanxiang Huang Martin C. Cooper António Morgado Jordi Planes Sasha Rubin FAtt 38 18 0 27 Oct 2022
Logic-Based Explainability in Machine Learning Sasha Rubin LRM XAI 50 39 0 24 Oct 2022
Computing Abductive Explanations for Boosted Trees Gilles Audemard Jean-Marie Lagniez Pierre Marquis N. Szczepanski 39 12 0 16 Sep 2022
On Computing Relevant Features for Explaining NBCs Yacine Izza Sasha Rubin 36 5 0 11 Jul 2022
Eliminating The Impossible, Whatever Remains Must Be True Jinqiang Yu Alexey Ignatiev Peter Stuckey Nina Narodytska Sasha Rubin 22 23 0 20 Jun 2022
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 48 58 0 20 May 2022
Cardinality-Minimal Explanations for Monotonic Neural Networks Ouns El Harzli Bernardo Cuenca Grau Ian Horrocks FAtt 40 5 0 19 May 2022
Provably Precise, Succinct and Efficient Explanations for Decision Trees Yacine Izza Alexey Ignatiev Nina Narodytska Martin C. Cooper Sasha Rubin FAtt 40 7 0 19 May 2022
On Efficiently Explaining Graph-Based Classifiers Xuanxiang Huang Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 36 37 0 02 Jun 2021
Explanations for Monotonic Classifiers Sasha Rubin Thomas Gerspacher M. Cooper Alexey Ignatiev Nina Narodytska FAtt 14 43 0 01 Jun 2021
Declarative Approaches to Counterfactual Explanations for Classification Leopoldo Bertossi 37 17 0 15 Nov 2020
Methods for Interpreting and Understanding Deep Neural Networks G. Montavon Wojciech Samek K. Müller FaML 234 2,238 0 24 Jun 2017