Parallelization Techniques for Verifying Neural Networks

Published in 2020 Formal Methods in Computer Aided Design (FMCAD'20), 2020