conftrace_

formal explainable ai

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

formal xai (1) sufficient reason (1) probabilistic explanation (1) sat solver (1) decision tree (1) computational complexity (1)

Papers

On Computing Probabilistic Explanations for Decision Trees NeurIPS 2022