8 citations · 16 across the 6 of their papers we have counts for
6 papers
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…
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
Yizhak Elboher, Raya Elsaleh, Omri Isac +6
As deep neural networks (DNNs) are becoming the prominent solution for many computational problems, the aviation industry seeks to explore their potential in alleviating pilot work…
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance
Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz +5
Surrogate Neural Networks are nowadays routinely used in industry as substitutes for computationally demanding engineering simulations (e.g., in structural analysis). They allow to…
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure +1
The ever increasing complexity of machine learning techniques used more and more in practice, gives rise to the need to explain the predictions and decisions of these models, often…
A Symbolic Approach for Counterfactual Explanations
Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure +1
In this paper titled A Symbolic Approach for Counterfactual Explanations we propose a novel symbolic approach to provide counterfactual explanations for a classifier predictions. C…
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure +1
In this paper titled A Model-Agnostic SAT-based approach for Symbolic Explanation Enumeration we propose a generic agnostic approach allowing to generate different and complementar…