A Dual Approach to Scalable Verification of Deep Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy A. Mann, Pushmeet Kohli. A Dual Approach to Scalable Verification of Deep Networks. In Amir Globerson, Ricardo Silva, editors, Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018, Monterey, California, USA, August 6-10, 2018. pages 550-559, AUAI Press, 2018. [doi]

This author has not been identified. Look up 'Krishnamurthy Dvijotham' in GoogleThis author has not been identified. Look up 'Robert Stanforth' in GoogleThis author has not been identified. Look up 'Sven Gowal' in GoogleThis author has not been identified. Look up 'Timothy A. Mann' in GoogleThis author has not been identified. Look up 'Pushmeet Kohli' in Google

runs on WebDSL