research
∙
06/23/2022
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations
The ever increasing complexity of machine learning techniques used more ...
share
research
∙
06/23/2022
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration
In this paper titled A Model-Agnostic SAT-based approach for Symbolic Ex...
research
∙
06/20/2022
A Symbolic Approach for Counterfactual Explanations
In this paper titled A Symbolic Approach for Counterfactual Explanations...
research
∙
02/18/2016