Ryma Boumazouza

According to our database, Ryma Boumazouza authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verification for Object Detection - IBP IoU.

Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz

CoRR, 2024

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.

Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz

CoRR, 2024

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance.

Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Symbolic Explanations for Multi-Label Classification.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

Predictive models & reasoning with explanations. (Modèles prédictifs & raisonnement avec les explications).

Ryma Boumazouza

PhD thesis, 2022

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

CoRR, 2022

2021

ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

A Symbolic Approach for Counterfactual Explanations.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020