Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming.
Sumanth DathathriKrishnamurthy DvijothamAlexey KurakinAditi RaghunathanJonathan UesatoRudy BunelShreya ShankarJacob SteinhardtIan J. GoodfellowPercy LiangPushmeet KohliPublished in: CoRR (2020)