5 papers
Rigorous Explanations for Tree Ensembles
Yacine Izza, Alexey Ignatiev, Xuanxiang Huang +2
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 q…
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
Xuanxiang Huang, Yacine Izza, Alexey Ignatiev +1
Formal explainable artificial intelligence (XAI) offers unique theoretical guarantees of rigor when compared to other non-formal methods of explainability. However, little attentio…
Efficient & Correct Predictive Equivalence for Decision Trees
Joao Marques-Silva, Alexey Ignatiev
The Rashomon set of decision trees (DTs) finds importance uses. Recent work showed that DTs computing the same classification function, i.e. predictive equivalent DTs, can represen…
Most General Explanations of Tree Ensembles (Extended Version)
Yacine Izza, Alexey Ignatiev, Sasha Rubin +2
Explainable Artificial Intelligence (XAI) is critical for attaining trust in the operation of AI systems. A key question of an AI system is ``why was this decision made this way''.…
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
Yacine Izza, Xuanxiang Huang, Antonio Morgado +3
The uses of machine learning (ML) have snowballed in recent years. In many cases, ML models are highly complex, and their operation is beyond the understanding of human decision-ma…