Centre de Recherche en Informatique de Lens

output

20052022

most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions

Showing 2022Show all

3 papers · 1 filter

cs.AI2022★ 8 cited

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…

cs.AI2022★ 7 cited

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…

cs.AI2022

Rectifying Mono-Label Boolean Classifiers

Sylvie Coste-Marquis, Pierre Marquis

We elaborate on the notion of rectification of a Boolean classifier $Σ$ . Given $Σ$ and some background knowledge $T$ , postulates characterizing the way $Σ$ must be changed into a n…