Scaling Polyhedral Neural Network Verification on GPUs

Keyphrases

• Large-scale Networks 100%
• Polyhedral 100%
• Verifier 100%
• Neural Network Verification 100%
• Neural Network 50%
• Sparsity 50%
• Medical Diagnosis 50%
• Polyhedron 50%
• Real-world Systems 50%
• Verification Task 50%
• Adversarial Attack 50%
• Deep Neural Network 50%
• Practical Verification 50%
• Autonomous Driving 50%
• GPU Parallelism 50%
• Deep Residual Network 50%

Computer Science

• Neural Network 100%
• Graphics Processing Unit 100%
• Sparsity 33%
• Parallelism 33%
• Adversarial Machine Learning 33%
• Deep Neural Network 33%
• Medical Diagnosis 33%
• Autonomous Driving 33%
• Deep Residual Network 33%