Journal Article DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting • IEEE Open Journal of Control Systems • 1:126-140 Chen S, Wong E, Kolter JZ, Fazlyab M