3 papers
cs.AI2026
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…
cs.CV2025
Robust Vision-Based Runway Detection through Conformal Prediction and Conformal mAP
Alya Zouzou, Léo andéol, Mélanie Ducoffe +1
We explore the use of conformal prediction to provide statistical uncertainty guarantees for runway detection in vision-based landing systems (VLS). Using fine-tuned YOLOv5 and YOL…
cs.AI2024
Trustworthy and Explainable Decision-Making for Workforce allocation
Guillaume Povéda, Ryma Boumazouza, Andreas Strahl +7
In industrial contexts, effective workforce allocation is crucial for operational efficiency. This paper presents an ongoing project focused on developing a decision-making tool de…