Rigorous Explanations for Tree Ensembles
Not on the map. Why?
Abstract (arXiv)
Tree ensembles (TEs) find a multitude of practical applications. They represent one of the most general and accurate classes of machine learning methods. While they are typically quite concise in representation, their operation remains inscrutable to human decision makers. One solution to build trust in the operation of TEs is to automatically identify explanations for the predictions made. Evidently, we can only achieve trust using explanations, if those explanations are rigorous, that is truly reflect properties of the underlying predictor they explain This paper investigates the computation of rigorously-defined, logically-sound explanations for the concrete case of two well-known examples of tree ensembles, namely random forests and boosted trees.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 27 of its 86 references that are in the map. First posted on arXiv 31 Mar 2026.
Builds on
27 of 86 references.
References · 27
- 2016Grad-CAM: Visual Explanations from Deep Networks via Gradient-based Localizationcited by 6,690
- 2017A Unified Approach to Interpreting Model Predictionscited by 6,488
- 2016XGBoost: A Scalable Tree Boosting Systemcited by 5,120
- 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,040
- 2013Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Mapscited by 2,348
- 2017Explanation in Artificial Intelligence: Insights from the Social Sciencescited by 1,201
- 2016The Mythos of Model Interpretabilitycited by 716
- 2019Fooling LIME and SHAP: Adversarial Attacks on Post hoc Explanation Methodscited by 440
- 2019Model-Agnostic Counterfactual Explanations for Consequential Decisionscited by 204
- 2018Abduction-Based Explanations for Machine Learning Modelscited by 159
- 2017PMLB: A Large Benchmark Suite for Machine Learning Evaluation and Comparisoncited by 139
- 2018A Symbolic Approach to Explaining Bayesian Network Classifierscited by 130
15 more
- 2019"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanationscited by 111
- 2020On The Reasons Behind Decisionscited by 99
- 2020Model Interpretability through the Lens of Computational Complexitycited by 75
- 2020Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delaycited by 56
- 2020On Explaining Decision Treescited by 49
- 2021SAT-Based Rigorous Explanations for Decision Listscited by 40
- 2021Explanations for Monotonic Classifierscited by 39
- 2021On Efficiently Explaining Graph-Based Classifierscited by 37
- 2019On Validating, Repairing and Refining Heuristic ML Explanationscited by 32
- 2021Trading Complexity for Sparsity in Random Forest Explanationscited by 32
- 2022Computing Abductive Explanations for Boosted Treescited by 23
- 2022Feature Necessity & Relevancy in ML Classifier Explanationscited by 22
- 2023Delivering Inflated Explanationscited by 16
- 2025Most General Explanations of Tree Ensembles (Extended Version)cited by 7
- 2025Uncovering Bugs in Formal Explainers: A Case Study with PyXAIcited by 1
Built on by
Not cited yet.