Login / Signup
A Dual Approach to Scalable Verification of Deep Networks.
Krishnamurthy Dvijotham
Robert Stanforth
Sven Gowal
Timothy A. Mann
Pushmeet Kohli
Published in:
CoRR (2018)
Keyphrases
</>
model checking
computer networks
complex networks
databases
information retrieval
social networks
network analysis
biological networks
formal methods
highly scalable
peer to peer networks
memory efficient
asynchronous circuits