RECHERCHE
Quantifier la sensibilité des ensembles d'arbres de décision : une approche symbolique et compositionnelle
Un algorithme baptisé XCount permet de mesurer efficacement la sensibilité des decision tree ensembles, avec des garanties d'erreur et de confiance certifiées.
arXiv cs.AI · cs.LG · cs.CL·S. Akshay, Chaitanya Garg, Ashutosh Gupta, Kuldeep S. Meel·13 mai 2026
Image · Source originale
Les ensembles d'arbres de décision (DTE) sont largement utilisés dans des domaines critiques, rendant leur vérification formelle essentielle. Ce travail propose une notion quantitative de la sensibilité : détecter si une faible variation sur un sous-ensemble de features peut entraîner une mauvaise classification. L'approche encode le problème sous forme d'algebraic decision diagram (ADD) et le décompose en sous-problèmes compositionnels. L'outil XCount surpasse significativement les model counters existants en termes de scalabilité.
Chaleur 0
Pertinence 52
Nouveauté 68