研究人员开发了分析和压缩树模型的新方法，这是一类常用于安全关键应用的流行 AI 模型。其中一篇论文介绍了一种符号化和组合式方法来量化决策树模型中的敏感度，从而开发出一种名为 XCount 的工具，该工具比现有方法有显著的速度提升。另一篇论文从谱系角度审视了随机森林和梯度提升机等树模型，推导出了最优收敛率，并开发了压缩技术，在保留预测性能的同时创建了更小的模型。 AI
影响 分析和压缩树模型的进展可能带来更高效、可验证的安全关键应用 AI 模型。
排序理由 两篇在 arXiv 上发表的学术论文，详细介绍了分析和压缩树模型的新理论和算法方法。
AI 生成摘要 · Google Gemini · 来自 4 个来源。 我们如何撰写摘要 →
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 pr…
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 pr…
arXiv:2605.11841v1 Announce Type: new Abstract: Tree ensembles such as random forests (RFs) and gradient boosting machines (GBMs) are among the most widely used supervised learners, yet their theoretical properties remain incompletely understood. We adopt a spectral perspective o…
Tree ensembles such as random forests (RFs) and gradient boosting machines (GBMs) are among the most widely used supervised learners, yet their theoretical properties remain incompletely understood. We adopt a spectral perspective on these algorithms, with two main contributions.…