**摘要**
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 sensitivity, which asks, given a DTE, whether a small change in subset of features can lead to misclassificatio
👤 作者: S. Akshay, Chaitanya Garg, Ashutosh Gupta, Kuldeep S. Meel, Ajinkya Naik

---
🔗 **[Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach](https://arxiv.org/abs/2605.13830v1)**

> Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach
🏷️ 来源: ArXiv cs.AI
⏱️ 2026-05-15 08:01