On Computing Probabilistic Explanations for Decision Trees Marcelo Arenas

Neural Information Processing Systems 

Formal XAI (explainable AI) is a growing area that focuses on computing explanations with mathematical guarantees for the decisions made by ML models.