Ryma Boumazouza

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Symbolic Representation

Associative Learning

Generating Explanations

Connectionist Learning

Top Venues

Publications

Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance. CoRR (2024)
Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing. CoRR (2024)
Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance. FMICS (2024)
Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz
Verification for Object Detection - IBP IoU. CoRR (2024)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
Symbolic Explanations for Multi-Label Classification. ICAART (3) (2023)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration. CoRR (2022)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
A Symbolic Approach for Counterfactual Explanations. CoRR (2022)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. CoRR (2022)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. CIKM (2021)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
A Symbolic Approach for Counterfactual Explanations. SUM (2020)