Dj's research website
Dj's research website
Home
Publications
CV
Verification of non-linear specifications for neural networks
Chongli Qin
,
Brendan O'Donoghue
,
Rudy Bunel
,
Robert Stanforth
,
Sven Gowal
,
Jonathan Uesato
,
Grzegorz Swirszcz
,
Pushmeet Kohli
,
others
January 2019
Cite
Type
Journal article
Publication
International Conference on Learning Representations (ICLR) 2019
Related
Scalable verified training for provably robust image classification
Adversarial robustness through local linearization
Efficient neural network verification with exactness characterization
Toward evaluating robustness of deep reinforcement learning with continuous control
A dual approach to scalable verification of deep networks
Cite
×