8 citations · 20 across the 5 of their papers we have counts for
5 papers · 1 filter
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…
Improving MUC extraction thanks to local search
Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure
ExtractingMUCs(MinimalUnsatisfiableCores)fromanunsatisfiable constraint network is a useful process when causes of unsatisfiability must be understood so that the network can be re…
Integrating Conflict Driven Clause Learning to Local Search
Gilles Audenard, Jean-Marie Lagniez, Bertrand Mazure +1
This article introduces SatHyS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) sc…