ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2007.01493
  4. Cited By
On Symbolically Encoding the Behavior of Random Forests

On Symbolically Encoding the Behavior of Random Forests

3 July 2020
Arthur Choi
Andy Shih
Anchal Goyanka
Adnan Darwiche
    AI4CE
ArXiv (abs)PDFHTML

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

11 / 11 papers shown
Title
Comparing Neural Network Encodings for Logic-based Explainability
Comparing Neural Network Encodings for Logic-based Explainability
Levi Cordeiro Carvalho
Saulo A. F. Oliveira
Thiago Alves Rocha
AAML
162
0
0
26 May 2025
A New Class of Explanations for Classifiers with Non-Binary Features
A New Class of Explanations for Classifiers with Non-Binary Features
Chunxi Ji
Adnan Darwiche
FAtt
74
3
0
28 Apr 2023
Computing Abductive Explanations for Boosted Trees
Computing Abductive Explanations for Boosted Trees
Gilles Audemard
Jean-Marie Lagniez
Pierre Marquis
N. Szczepanski
84
14
0
16 Sep 2022
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Ryma Boumazouza
Fahima Cheikh-Alili
Bertrand Mazure
Karim Tabia
49
0
0
23 Jun 2022
On Tackling Explanation Redundancy in Decision Trees
On Tackling Explanation Redundancy in Decision Trees
Yacine Izza
Alexey Ignatiev
Sasha Rubin
FAtt
100
64
0
20 May 2022
On the Computation of Necessary and Sufficient Explanations
On the Computation of Necessary and Sufficient Explanations
Adnan Darwiche
Chunxi Ji
FAtt
62
19
0
20 Mar 2022
Trading Complexity for Sparsity in Random Forest Explanations
Trading Complexity for Sparsity in Random Forest Explanations
Gilles Audemard
S. Bellart
Louenas Bounia
F. Koriche
Jean-Marie Lagniez
Pierre Marquis
61
40
0
11 Aug 2021
Explanations for Monotonic Classifiers
Explanations for Monotonic Classifiers
Sasha Rubin
Thomas Gerspacher
M. Cooper
Alexey Ignatiev
Nina Narodytska
FAtt
96
46
0
01 Jun 2021
On the Complexity of SHAP-Score-Based Explanations: Tractability via
  Knowledge Compilation and Non-Approximability Results
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
Marcelo Arenas
Pablo Barceló
Leopoldo Bertossi
Mikaël Monet
FAtt
68
35
0
16 Apr 2021
Declarative Approaches to Counterfactual Explanations for Classification
Declarative Approaches to Counterfactual Explanations for Classification
Leopoldo Bertossi
67
17
0
15 Nov 2020
On Explaining Decision Trees
On Explaining Decision Trees
Yacine Izza
Alexey Ignatiev
Sasha Rubin
FAtt
93
88
0
21 Oct 2020
1