Login / Signup
A Dual Approach to Scalable Verification of Deep Networks.
Krishnamurthy Dvijotham
Robert Stanforth
Sven Gowal
Timothy A. Mann
Pushmeet Kohli
Published in:
UAI (2018)
Keyphrases
</>
machine learning
model checking
network design
neural network
social networks
formal methods
web scale
web services
wireless sensor networks
lightweight
network model
primal dual
small world
peer to peer networks
deep learning