Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach

Ajinkya Naik, Chaitanya Garg, S. Akshay +2

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 mod…