47 citations · 99 across the 17 of their papers we have counts for
Showing 2025 · cs.AIShow all
2 papers · 2 filters
cs.AI2025
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…
cs.AI2025
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''.…