VerifIoU -- Robustness of Object Detection to Perturbations

Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza +4

We introduce a novel Interval Bound Propagation (IBP) approach for the formal verification of object detection models, specifically targeting the Intersection over Union (IoU) metr…