arXiv cs.LG@S. Akshay, Chaitanya Garg, Ashutosh Gupta, Kuldeep S. Meel, Ajinkya Naik精选45该研究提出了一种量化决策树集成(DTE)模型敏感性的新方法,通过离散化输入空间并枚举易受干扰的区域,计算模型对特征微小变化的敏感程度。方法基于代数决策图(ADD)编码,将问题分解为可组合的子问题,在保证误差和置信度边界的同时实现高效计算。实验表明,工具XCount在多个基准测试中相比传统模型计数方法显著加速,且能随树集成规模扩展。这项工作对安全关键领域的AI验证具有重要意义。论文决策树集成敏感性分析代数决策图模型验证安全关键AI推荐理由:安全关键AI系统(如自动驾驶、医疗诊断)的开发者需要量化模型对输入扰动的鲁棒性,XCount提供了一种高效且可扩展的敏感性分析工具,值得关注。
arXiv cs.LG(学术论文)35因果推断依赖不可验证的假设,现有敏感性分析框架多关注最坏情况下的结论变化,但往往不切实际。本研究将s-value框架泛化至三种常见因果假设,并提出贝叶斯敏感性价值(BSV)指标。BSV通过蒙特卡洛近似,基于真实世界证据构建先验分布,计算假设违背的期望敏感性。实证表明,最坏情况分析可能依赖违背先验知识的极端假设,而BSV能提供更可信的结论。该框架在糖尿病治疗对体重影响的观察性研究中得到验证,为研究者提供了更稳健的因果推断工具。论文因果推断贝叶斯方法敏感性分析观测研究机器学习推荐理由:提出贝叶斯敏感性价值(BSV)方法,解决了传统最坏情况敏感性分析不切实际的问题,为因果推断实践者提供了更符合先验知识的稳健性评估标准。