3 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.AI2024
Warped Time Series Anomaly Detection
Charlotte Lacoquelle, Xavier Pucel, Louise Travé-Massuyès +2
This paper addresses the problem of detecting time series outliers, focusing on systems with repetitive behavior, such as industrial robots operating on production lines.Notable ch…
cs.CV2024
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…