Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks.

Shahaf Bassan, Guy Katz

Browse the full TACAS paper archive.