@misc{indiciaed9a10e59a55c,
  title = {DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting},
  author = {Shaoru Chen and Eric Wong and J. Zico Kolter and Mahyar Fazlyab},
  year = {2022},
  url = {https://arxiv.org/abs/2106.09117},
  note = {Source identifier: 2106.09117}
}