3 papers
cs.AI2026
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…
cs.AI2026
A Formal Framework for the Explanation of Finite Automata Decisions
Jaime Cuartas Granada, Alexey Ignatiev, Peter J. Stuckey
Finite automata (FA) are a fundamental computational abstraction that is widely used in practice for various tasks in computer science, linguistics, biology, electrical engineering…
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''.…