On Symbolically Encoding the Behavior of Random Forests

3 July 2020

Papers citing "On Symbolically Encoding the Behavior of Random Forests"

11 / 11 papers shown

Title
Logic for Explainable AI Adnan Darwiche 40 8 0 09 May 2023
A New Class of Explanations for Classifiers with Non-Binary Features Chunxi Ji Adnan Darwiche FAtt 34 3 0 28 Apr 2023
Computing Abductive Explanations for Boosted Trees Gilles Audemard Jean-Marie Lagniez Pierre Marquis N. Szczepanski 44 12 0 16 Sep 2022
On Tackling Explanation Redundancy in Decision Trees Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 48 59 0 20 May 2022
On the Computation of Necessary and Sufficient Explanations Adnan Darwiche Chunxi Ji FAtt 24 19 0 20 Mar 2022
Foundations of Symbolic Languages for Model Interpretability Marcelo Arenas Daniel Baez Pablo Barceló Jorge A. Pérez Bernardo Subercaseaux ReLM LRM 21 24 0 05 Oct 2021
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI Adnan Darwiche Pierre Marquis 17 26 0 23 Aug 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 42 17 0 15 Nov 2020
On Explaining Decision Trees Yacine Izza Alexey Ignatiev Sasha Rubin FAtt 24 85 0 21 Oct 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017