@misc{indiciae211972b326e2,
  title = {Parallelization Techniques for Verifying Neural Networks},
  author = {Haoze Wu and Alex Ozdemir and Aleksandar Zeljić and Ahmed Irfan and Kyle Julian and Divya Gopinath and Sadjad Fouladi and Guy Katz and Corina Pasareanu and Clark Barrett},
  year = {2020},
  url = {https://arxiv.org/abs/2004.08440},
  note = {Source identifier: 2004.08440}
}