Parallelization Techniques for Verifying Neural Networks

Keyphrases

• Neural Network 100%
• Parallel Algorithm 100%
• Neural Network Verification 100%
• Parallelization 50%
• Partitioning Strategy 50%
• Parallelizable 50%
• Verification Problem 50%
• Input Space 50%
• New Benchmark 50%
• Strategy Set 50%
• Partitioning Algorithms 50%
• Cloud Platform 50%
• Boolean Satisfiability 50%
• Preprocessing Algorithm 50%
• Distributed Cloud 50%
• Parallel Technique 50%
• Neuron Activation 50%
• Branching Heuristic 50%
• Marabou 50%
• Split-and-conquer 50%

Computer Science

• Neural Network 100%
• Parallelization 100%
• Parallelism 33%
• Preprocessing 33%
• Processing Algorithm 33%