XAI Today

Abductive

Explaining Random Forests with Boolean Satisfiability