Verification for Object Detection -- IBP IoU
<|reference_start|>Verification for Object Detection -- IBP IoU: 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 IoU in ensuring accuracy and stability, contributing to more secure and robust machine learning applications.<|reference_end|>
@article{cohen2024verification,
    title={Verification for Object Detection -- IBP IoU},
    author={No'emie Cohen, M'elanie Ducoffe, Ryma Boumazouza (CRIL), Christophe
  Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz},
    journal={arXiv preprint arXiv:2403.08788},
    year={2024},
    archivePrefix={arXiv},
    eprint={2403.08788},
    primaryClass={cs.CV cs.AI cs.NE}
}