Algebraic Model Counting for Global Analysis of Optimal Decision Trees

Hiroki Arimura

Ensuring model reliability in Explainable AI requires a global assessment of the hypothesis space. We propose a formal framework for the exhaustive analysis of optimal and near-opt…