Dj's research website
Dj's research website
Home
Posts
Publications
CV
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Krishnamurthy (Dj) Dvijotham
,
Aditi Raghunathan
,
Jonathan Uesato
,
Sumanth Dathathri
,
Alexey Kurakin
,
Ian Goodfellow
,
Pushmeet Kohli
,
Jacob Steinhardt
,
Percy Liang
December 2020
PDF
Cite
Type
Conference paper
Publication
Advances in Neural Information Processing Systems, 2020
Related
Verification of Non-Linear Specifications for Neural Networks
Scalable Verified Training for Provably Robust Image Classification
Efficient Neural Network Verification with Exactness Characterization
Toward Evaluating Robustness of Deep Reinforcement Learning with Continuous Control
A FRAMEWORK FOR ROBUSTNESS CERTIFICATION OF SMOOTHED CLASSIFIERS USING F-DIVERGENCES
Cite
×