47 citations · 134 across the 19 of their papers we have counts for
3 papers · 2 filters
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''.…