Dj's research website
Dj's research website
Home
Publications
CV
Efficient neural network verification with exactness characterization
Krishnamurthy Dj Dvijotham
,
Robert Stanforth
,
Sven Gowal
,
Chongli Qin
,
Soham De
,
Pushmeet Kohli
January 2020
Cite
Type
Conference paper
Publication
Uncertainty in artificial intelligence
Related
Adversarial robustness through local linearization
Scalable verified training for provably robust image classification
Towards Verified Robustness under Text Deletion Interventions
A framework for robustness certification of smoothed classifiers using f-divergences
Verification of non-linear specifications for neural networks
Cite
×