Incremental Verification of Neural Networks

Keyphrases

• CIFAR-10 20%
• Data Collection Algorithm 20%
• Deep Neural Network 100%
• Deep Neural Network Testing 20%
• Efficiency Improvement 20%
• Geometric Mean 40%
• Incremental Verification 100%
• Inference Accuracy 20%
• Inference Speed 20%
• Infinite Sets 20%
• MNIST 20%
• Neural Network Verification 100%
• Novel Theory 20%
• Verifier 40%

Computer Science

• Data Structure 16%
• Deep Neural Network 100%
• Neural Network 100%