Dj's research website
Dj's research website
Home
Publications
CV
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
Leonard Berrada
,
Sumanth Dathathri
,
Krishnamurthy Dvijotham
,
Robert Stanforth
,
Rudy R Bunel
,
Jonathan Uesato
,
Sven Gowal
,
M Pawan Kumar
January 2021
Cite
URL
Type
Journal article
Publication
Advances in Neural Information Processing Systems
Related
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
A dual approach to scalable verification of deep networks
Adversarial robustness through local linearization
Scalable verified training for provably robust image classification
A Dual Approach to Verify and Train Deep Networks.
Cite
×