Dj's research website
Dj's research website
Home
Publications
CV
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
Sumanth Dathathri
,
Krishnamurthy Dvijotham
,
Alexey Kurakin
,
Aditi Raghunathan
,
Jonathan Uesato
,
Rudy R Bunel
,
Shreya Shankar
,
Jacob Steinhardt
,
Ian Goodfellow
,
Percy S Liang
,
others
January 2020
Cite
Type
Journal article
Publication
Advances in Neural Information Processing Systems
Related
Make Sure You're Unsure: A Framework for Verifying Probabilistic Specifications
An efficient nonconvex reformulation of stagewise convex optimization problems
Verification of non-linear specifications for neural networks
Learning Fast Optimizers for Contextual Stochastic Integer Programs
A dual approach to scalable verification of deep networks
Cite
×