AIBullisharXiv – CS AI · Mar 46/103
🧠
IoUCert: Robustness Verification for Anchor-based Object Detectors
Researchers introduce IoUCert, a new formal verification framework that enables robustness verification for anchor-based object detection models like SSD, YOLOv2, and YOLOv3. The breakthrough uses novel coordinate transformations and Interval Bound Propagation to overcome previous limitations in verifying object detection systems against input perturbations.