VerifIoU - 目标检测对扰动的鲁棒性

于红博

摘要: 我们介绍了一种新颖的区间边界传播（IBP）方法，用于形式验证目标检测模型，特别是针对交并比（IoU）指标。该方法已在一个名为IBP IoU的开源代码中实现，与流行的基于抽象解释的验证工具兼容。结果验证器在着陆途径跑道检测和手写数字识别案例研究中进行了评估。与基线（Vanilla IBP IoU）的比较突出了IBP IoU在确保准确性和稳定性方面的优越性能，有助于更安全和更强大的机器学习应用。

更新时间: 2025-10-30 13:41:48

领域: cs.CV,cs.AI,cs.NE

下载: http://arxiv.org/abs/2403.08788v2