Picture for Ryma Boumazouza

Ryma Boumazouza

CRIL

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance

Add code
Jan 11, 2024
Viaarxiv icon

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing

Add code
Jan 08, 2024
Viaarxiv icon

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

Add code
Jun 23, 2022
Figure 1 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Figure 2 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Figure 3 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Figure 4 for ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
Viaarxiv icon

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

Add code
Jun 23, 2022
Figure 1 for A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Figure 2 for A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Figure 3 for A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
Viaarxiv icon

A Symbolic Approach for Counterfactual Explanations

Add code
Jun 20, 2022
Viaarxiv icon