{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:11:31Z","timestamp":1740100291957,"version":"3.37.3"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T00:00:00Z","timestamp":1633478400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T00:00:00Z","timestamp":1633478400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000181","name":"AFOSR","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"ONR","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,10,6]]},"DOI":"10.1109\/dsaa53316.2021.9564161","type":"proceedings-article","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T22:54:28Z","timestamp":1634770468000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["A Sequential Framework Towards an Exact SDP Verification of Neural Networks"],"prefix":"10.1109","author":[{"given":"Ziye","family":"Ma","sequence":"first","affiliation":[{"name":"UC Berkeley,Electrical Engineering and Computer Sciences,Berkeley,CA,USA"}]},{"given":"Somayeh","family":"Sojoudi","sequence":"additional","affiliation":[{"name":"UC Berkeley,Electrical Engineering and Computer Sciences, Mechanical Engineering,Berkeley,CA,USA"}]}],"member":"263","reference":[{"key":"ref10","first-page":"15098","article-title":"Beyond the single neuron convex barrier for neural network certification","author":"singh","year":"0","journal-title":"Advances in neural information processing systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.acha.2015.12.005"},{"key":"ref12","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"2017","journal-title":"ArXiv Preprint"},{"key":"ref13","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","author":"wong","year":"2017","journal-title":"ArXiv Preprint"},{"key":"ref14","article-title":"On the tightness of semidefinite relaxations for certifying robustness to adversarial examples","author":"zhang","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-018-1416-0"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(98)00136-X"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01100204"},{"key":"ref5","first-page":"10877","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","author":"raghunathan","year":"0","journal-title":"Advances in neural information processing systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-010-0371-9"},{"journal-title":"Face of convex sets","year":"2017","author":"roshchina","key":"ref7"},{"key":"ref2","article-title":"Partition-based convex relaxations for certifying the robustness of relu neural networks","author":"anderson","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref1","article-title":"Tightened convex relaxations for neural network robustness certification","author":"anderson","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref9","volume":"31","author":"sherali","year":"2013","journal-title":"A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems"}],"event":{"name":"2021 IEEE 8th International Conference on Data Science and Advanced Analytics (DSAA)","start":{"date-parts":[[2021,10,6]]},"location":"Porto, Portugal","end":{"date-parts":[[2021,10,9]]}},"container-title":["2021 IEEE 8th International Conference on Data Science and Advanced Analytics (DSAA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9564091\/9564109\/09564161.pdf?arnumber=9564161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T23:37:40Z","timestamp":1659483460000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9564161\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/dsaa53316.2021.9564161","relation":{},"subject":[],"published":{"date-parts":[[2021,10,6]]}}}