Dj's website
Home
Publications
Contact
A dual approach to scalable verification of deep networks
Krishnamurthy Dvijotham
,
Robert Stanforth
,
Sven Gowal
,
Timothy Mann
,
Pushmeet Kohli
Jul 1, 2018
0 min read
Type
Conference paper
Publication
Proceedings of the Thirty-Fourth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-18)
Date
July, 2018
Links
Cite
Cite
×