决策树集成中故障（Glitches）的验证

决策树集成中的分段常数结构会产生“故障”（Glitches），即单一特征微小变化导致输出先反向再反转的尖峰，广泛存在于前沿模型中。 证明检测决策树集成是否包含故障是 NP-完全问题，并提出了混合整数线性规划编码及针对梯度提升树的验证器。 该验证器可扩展至现实模型规模，为比鲁棒性和单调性更精细的异常隔离工具。