Parallelization Techniques for Verifying Neural Networks

Wu Haoze
Wu Haoze
Ozdemir Alex
Ozdemir Alex
Zeljić Aleksandar
Zeljić Aleksandar
Irfan Ahmed
Irfan Ahmed
Julian Kyle
Julian Kyle
Fouladi Sadjad
Fouladi Sadjad
Cited by: 0|Bibtex|Views26|Links

Abstract:

Inspired by recent successes with parallel optimization techniques for solving Boolean satisfiability, we investigate a set of strategies and heuristics that aim to leverage parallel computing to improve the scalability of neural network verification. We introduce an algorithm based on partitioning the verification problem in an iterati...More

Code:

Data:

Your rating :
0

 

Tags
Comments