Verification for Object Detection -- IBP IoU

arXiv:2403.08788v1 Announce Type: new
Abstract: We introduce a novel Interval Bound Propagation (IBP) approach for the formal verification of object detection models, specifically targeting the Intersection over Union (IoU) metric. The approach has been implemented in an open source code, named IBP IoU, compatible with popular abstract interpretation based verification tools. The resulting verifier is evaluated on landing approach runway detection and handwritten digit recognition case studies. Comparisons against a baseline (Vanilla IBP IoU) highlight the superior performance of IBP …

abstract arxiv code cs.ai cs.cv cs.ne detection interpretation intersection interval iou novel object open source open source code popular propagation targeting tools type union verification