Towards a Certified Proof Checker for Deep Neural Network Verification

Keyphrases

• Checkers 100%
• Neural Network Verification 100%
• Proof Checker 100%
• Formal Verification 66%
• Deep Neural Network 66%
• Numerical Stability 66%
• Imandra 66%
• Safety Properties 33%
• Theorem Prover 33%
• Verifier 33%
• Deep Neural Network Testing 33%
• Stability Problem 33%
• Safety-critical Systems 33%
• Exact Real Arithmetic 33%
• Verifiability 33%
• Correctness Properties 33%

Computer Science

• Neural Network 100%
• Deep Neural Network 100%
• Formal Verification 66%
• Theorem Prover 33%
• Safety Critical Systems 33%
• Compliance Checker 33%