1 citations · 1 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
FAME: Formal Abstract Minimal Explanation for Neural Networks
Ryma Boumazouza, Raya Elsaleh, Melanie Ducoffe +2
We propose FAME (Formal Abstract Minimal Explanations), a new class of abductive explanations grounded in abstract interpretation. FAME is the first method to scale to large neural…
How to design a dataset compliant with an ML-based system ODD?
Cyril Cappi, Noémie Cohen, Mélanie Ducoffe +8
This paper focuses on a Vision-based Landing task and presents the design and the validation of a dataset that would comply with the Operational Design Domain (ODD) of a Machine-Le…