{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:04:37Z","timestamp":1749737077687},"reference-count":45,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"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":[[2023,12,13]]},"DOI":"10.1109\/cdc49753.2023.10383700","type":"proceedings-article","created":{"date-parts":[[2024,1,19]],"date-time":"2024-01-19T18:38:36Z","timestamp":1705689516000},"page":"6348-6355","source":"Crossref","is-referenced-by-count":2,"title":["Tight Certified Robustness via Min-Max Representations of ReLU Neural Networks"],"prefix":"10.1109","author":[{"given":"Brendon G.","family":"Anderson","sequence":"first","affiliation":[{"name":"University of California,Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Pfrommer","sequence":"additional","affiliation":[{"name":"University of California,Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somayeh","family":"Sojoudi","sequence":"additional","affiliation":[{"name":"University of California,Berkeley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1080\/00207179008934126"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6577-9"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2174\/1573399812666160613113556"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1021\/ct2009208"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00175"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33011028"},{"key":"ref7","article-title":"End to end learning for self-driving cars","author":"Bojarski","year":"2016","journal-title":"arXiv preprint"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.06083"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"},{"key":"ref11","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","volume-title":"International Conference on Machine Learning","author":"Wong","year":"2018"},{"key":"ref12","article-title":"Efficient neural network robustness certification with general activation functions","author":"Zhang","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref13","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","author":"Raghunathan","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3046193"},{"key":"ref15","article-title":"Towards optimal branching of linear and semidefinite relaxations for neural network robustness certification","author":"Anderson","year":"2023","journal-title":"arXiv preprint"},{"key":"ref16","article-title":"Efficient and accurate estimation of Lipschitz constants for deep neural networks","author":"Fazlyab","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref17","article-title":"Towards fast computation of certified robustness for ReLU networks","volume-title":"International Conference on Machine Learning","author":"Weng","year":"2018"},{"key":"ref18","article-title":"Lipschitz regularity of deep neural networks: Analysis and efficient estimation","author":"Virmaux","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref19","article-title":"Exactly computing the local Lipschitz constant of ReLU networks","author":"Jordan","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref20","article-title":"Evaluating robustness of neural networks with mixed integer programming","volume-title":"International Conference on Learning Representations","author":"Tjeng","year":"2019"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303750"},{"key":"ref22","article-title":"Beta-CROWN: Efficient bound propagation with perneuron split constraints for neural network robustness verification","author":"Wang","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.5555\/2969033.2969153"},{"key":"ref24","article-title":"Understanding deep neural networks with rectified linear units","volume-title":"International Conference on Learning Representations","author":"Arora","year":"2018"},{"key":"ref25","article-title":"Tropical geometry of deep neural networks","volume-title":"International Conference on Machine Learning","author":"Zhang","year":"2018"},{"key":"ref26","article-title":"On robustness to adversarial examples and polynomial optimization","author":"Awasthi","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1515\/9781400873173-007"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.disc.2008.01.019"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19897-7_35"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1080\/10556780512331318263"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-26771-9_6"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2017.06.009"},{"key":"ref33","article-title":"Learning deep ReLU networks is fixed-parameter tractable","author":"Chen","year":"2020","journal-title":"arXiv preprint"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2002.1024835"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.jeconom.2005.11.005"},{"key":"ref36","article-title":"Max-min representation of piecewise linear functions","author":"Ovchinnikov","year":"2002","journal-title":"Contributions to Algebra and Geometry"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1017\/s0962492900002919"},{"key":"ref38","article-title":"Asymmetric certified robustness via feature-convex neural networks","author":"Pfrommer","year":"2023","journal-title":"arXiv preprint"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511804441"},{"key":"ref40","article-title":"Mathematical foundations of robust and distributionally robust optimization","author":"Zhen","year":"2021","journal-title":"arXiv preprint"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-87363-3_17"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2600425"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3186269"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.3010755"},{"volume-title":"The MNIST database of handwritten digits","year":"1998","author":"LeCun","key":"ref45"}],"event":{"name":"2023 62nd IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2023,12,13]]},"location":"Singapore, Singapore","end":{"date-parts":[[2023,12,15]]}},"container-title":["2023 62nd IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10383192\/10383193\/10383700.pdf?arnumber=10383700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T16:32:58Z","timestamp":1706027578000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10383700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":45,"URL":"https:\/\/doi.org\/10.1109\/cdc49753.2023.10383700","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}