Jan, 2024

目标检测的验证 —— IBP IoU

TL;DR我们介绍了一种新颖的区间边界传播(IBP)方法,用于形式验证物体检测模型,特别针对 IoU 指标。该方法已在名为 IBP IoU 的开源代码中实现,与流行的基于抽象解释的验证工具兼容。我们通过对着陆进场跑道检测和手写数字识别案例研究进行评估,将其与基准(Vanilla IBP IoU)进行比较,突出了 IBP IoU 在确保准确性和稳定性方面的优越性能,为更安全和更强大的机器学习应用做出了贡献。