Algebraic Model Counting for Global Analysis of Optimal Decision Trees
arXiv:2607.02069v1 Announce Type: new Abstract: Ensuring model reliability in Explainable AI requires a global assessment of the hypothesis space. We propose a formal framework for the exhaustive anal