Filter
Exclude
Time range
-
Near
Title: DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting Authors: Shaoru Chen; Eric Wong; J. Zico Kolter; Mahyar Fazlyab Date of Publication: 30 June 2022 Link: ieeexplore.ieee.org/document…
2