2 papers
cs.AI2026
Certified geometric robustness -- Super-DeepG
Noémie Cohen, Mélanie Ducoffe, Christophe Gabreau +2
Safety-critical applications are required to perform as expected in normal operations. Image processing functions are often required to be insensitive to small geometric perturbati…
cs.CV2025
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…