DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting.

Shaoru Chen Eric Wong J. Zico Kolter Mahyar Fazlyab

Published in: CoRR (2021)

Keyphrases

neural network
operator splitting
convex optimization
pattern recognition
artificial neural networks
partial differential equations
higher order
model checking
high quality
total variation
image processing
natural images
cellular neural networks