Parallelization Techniques for Verifying Neural Networks

Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett

This site provides our paper Parallelization Techniques for Verifying Neural Networks and related material at FMCAD2020.

All materials to reproduce the experimental evaluation in our paper can be found below.