Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach

Ajinkya Naik, Chaitanya Garg, S. Akshay, Ashutosh Gupta, Kuldeep S. Meel

Jun 5, 2026 at 04:00

11 Visningar

0 Kommentarer

arXiv:2605.13830v2 Announce Type: replace Abstract: Decision tree ensembles (DTE) are a popular model for a wide range of AI classification tasks, used in multiple safety critical domains, and hence verifying properties on these models has been an active topic of study over the last decade. One such verification question is the problem of...

Läs hela artikeln hos källan.

Läs originalartikeln

Var detta hjälpsamt?

Dela: