Dj's research website
Dj's research website
Home
Publications
CV
Knowing when to stop: Evaluation and verification of conformity to output-size specifications
Chenglong Wang
,
Rudy Bunel
,
Krishnamurthy Dvijotham
,
Po-Sen Huang
,
Edward Grefenstette
,
Pushmeet Kohli
January 2019
Cite
Type
Conference paper
Publication
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition
Related
Lagrangian decomposition for neural network verification
Achieving robustness in the wild via adversarial mixing with disentangled representations
Achieving verified robustness to symbol substitutions via interval bound propagation
A dual approach to scalable verification of deep networks
The Autoencoding Variational Autoencoder
Cite
×