TY  - RPRT
TI  - Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming
AU  - Sumanth Dathathri
AU  - Krishnamurthy Dvijotham
AU  - Alexey Kurakin
AU  - Aditi Raghunathan
AU  - Jonathan Uesato
AU  - Rudy Bunel
AU  - Shreya Shankar
AU  - Jacob Steinhardt
AU  - Ian Goodfellow
AU  - Percy Liang
AU  - Pushmeet Kohli
PY  - 2020
UR  - https://arxiv.org/abs/2010.11645
ID  - 2010.11645
ER  -