Neural Network Verification with Proof Production

Keyphrases

• Deep Neural Network 100%
• Neural Network Verification 100%
• Verifier 60%
• Verification Tool 40%
• Safety-critical Systems 40%
• Deep Neural Network Testing 40%
• Novel Mechanism 20%
• Simplex 20%
• Production Capability 20%
• Piecewise Linear Function 20%
• Multiple Tools 20%
• Efficient Adaptation 20%
• Multiple Techniques 20%
• Aircraft Collision Avoidance 20%
• Unsatisfiability 20%
• Numerical Precision 20%
• Precision Error 20%
• Multiple Errors 20%
• Farkas Lemma 20%
• Marabou 20%

Computer Science

• Deep Neural Network 100%
• Neural Network 100%
• Safety Critical Systems 28%
• Simplex 14%
• Linear Function 14%
• Piecewise Linear 14%
• Production Capability 14%