Proofs as Explanations: Short Certificates for Reliable Predictions

Avrim Blum, Steve Hanneke, Chirag Pabbaraju +1

We consider a model for explainable AI in which an explanation for a prediction $h(x)=y$ consists of a subset $S^{\prime }$ of the training data (if it exists) such that all classifiers $h'…