conftrace_

formal xai

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

formal explainable ai (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