Verification of Non-Linear Specifications for Neural Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chongli Qin, Krishnamurthy (Dj) Dvijotham, Brendan O'Donoghue, Rudy Bunel, Robert Stanforth, Sven Gowal, Jonathan Uesato, Grzegorz Swirszcz, Pushmeet Kohli. Verification of Non-Linear Specifications for Neural Networks. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. OpenReview.net, 2019. [doi]

This author has not been identified. Look up 'Chongli Qin' in GoogleThis author has not been identified. Look up 'Krishnamurthy (Dj) Dvijotham' in GoogleThis author has not been identified. Look up 'Brendan O'Donoghue' in GoogleThis author has not been identified. Look up 'Rudy Bunel' 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 'Jonathan Uesato' in GoogleThis author has not been identified. Look up 'Grzegorz Swirszcz' in GoogleThis author has not been identified. Look up 'Pushmeet Kohli' in Google

runs on WebDSL