Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks

Open in new window