Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks

Keyphrases

• Black Box 25%
• Computational Complexity 25%
• Deep Neural Network 100%
• Deep Neural Network Testing 25%
• Efficient Verification 25%
• Existing Techniques 25%
• Explainable AI 25%
• Formal Methods 25%
• Global Minimum 25%
• Interpretable Explanation 25%
• Machine Learning 25%
• Minimal Explanations 100%
• Neural Network 100%
• Rapid Growth 25%
• Safety-critical Systems 25%
• State-of-the-art Techniques 25%
• Verification Problem 25%
• Verification Process 25%
• Verification Technology 25%
• XAI Methods 25%

Computer Science

• Approximation (Algorithm) 20%
• Computational Complexity 20%
• Deep Neural Network 100%
• Explainable Artificial Intelligence 100%
• Learning System 20%
• Machine Learning 20%
• Neural Network 100%
• Safety Critical Systems 20%
• Verification Process 20%