A Dual Approach to Verify and Train Deep Networks.

Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Timothy A. Mann Pushmeet Kohli

Published in: IJCAI (2019)

Keyphrases

social networks
computer networks
real time
data sets
website
image segmentation
database systems
data structure
expert systems
evolutionary algorithm
biological networks
cellular networks
probabilistic networks
connectionist networks