Explainable Artificial Intelligence (XAI)

Videos

Papers

Software

BNC_SDD: a compiler for converting a Bayesian network classifier into a Sentential Decision Diagram. github

RF_SDD: a software for learning a Random Forest classifier, and then compiling it into a Sentential Decision Diagram. github

STEP: Symbolic and Tractable Explanation Package - a package for running explanations on Sentential Decision Diagrams. github (in progress)

CNF_OBDD: a compiler for converting a CNF into an OBDD using the L* learning algorithm. github (in progress)