{"id":1208,"date":"2023-06-20T13:28:18","date_gmt":"2023-06-20T13:28:18","guid":{"rendered":"https:\/\/dataninja.nrw\/?page_id=1208"},"modified":"2023-06-20T14:47:53","modified_gmt":"2023-06-20T14:47:53","slug":"04-christopher-brix-provably-bounding-neural-network-preimages","status":"publish","type":"page","link":"https:\/\/dataninja.nrw\/?page_id=1208","title":{"rendered":"04 &#8211; Christopher Brix &#8211; Provably Bounding Neural Network Preimages"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">Provably Bounding Neural Network Preimages<\/h1>\n\n\n\n<p><strong>Suhas Kotha<sup>1<\/sup>, Christopher Brix<sup>2<\/sup>, Zico Kolter<sup>1,4<\/sup>, Krishnamurthy (Dj) Dvijotham<sup>3<\/sup>, Huan Zhang<sup>1<\/sup><\/strong><br><sup>1<\/sup> Carnegie Mellon University, Pittsburgh PA, USA<br><sup>2<\/sup> RWTH Aachen University, Aachen, Germany<br><sup>3<\/sup> Google Research, Brain Team<br><sup>4<\/sup> Bosch Center for AI<br><br>Abstract Submitted: 14.04.2023<br>Accepted: 22.04.2023<br>Presented at the DataNinja Spring School 2023 Poster Session: 09.05.2023<br>Published online: 20.06.2023<br><br>Licence: Copyright (c) 2023 The Authors<br><img loading=\"lazy\" decoding=\"async\" width=\"403\" height=\"141\" class=\"wp-image-1132\" style=\"width: 100px;\" src=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/cc_by_licence.png\" alt=\"\" srcset=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/cc_by_licence.png 403w, https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/cc_by_licence-300x105.png 300w\" sizes=\"(max-width: 403px) 100vw, 403px\" \/><br>This work is licensed under a&nbsp;<a href=\"https:\/\/creativecommons.org\/licenses\/by\/4.0\/\">Creative Commons Attribution 4.0 International License<\/a>.<\/p>\n\n\n\n<div style=\"height:40px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Extended Abstract<\/h2>\n\n\n\n<div data-wp-interactive=\"\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!selectors.core.file.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/ChristopherBrix_2023_springschool_dataninja_abstract.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of ChristopherBrix_2023_springschool_dataninja_abstract.\"><\/object><a id=\"wp-block-file--media-0be4a634-a575-4b66-8ed4-4c953c1d7eab\" href=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/ChristopherBrix_2023_springschool_dataninja_abstract.pdf\">ChristopherBrix_2023_springschool_dataninja_abstract<\/a><a href=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/ChristopherBrix_2023_springschool_dataninja_abstract.pdf\" class=\"wp-block-file__button wp-element-button\" download aria-describedby=\"wp-block-file--media-0be4a634-a575-4b66-8ed4-4c953c1d7eab\">Download Extended Abstract<\/a><\/div>\n\n\n\n<div style=\"height:40px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<h2 class=\"wp-block-heading\">Poster<\/h2>\n\n\n\n<div data-wp-interactive=\"\" class=\"wp-block-file\"><object data-wp-bind--hidden=\"!selectors.core.file.hasPdfPreview\" hidden class=\"wp-block-file__embed\" data=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/ChristopherBrix_2023_springschool_dataninja_poster.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of ChristopherBrix_2023_springschool_dataninja_poster.\"><\/object><a id=\"wp-block-file--media-6fe9372c-001b-482c-a08b-dc5c31e4ab79\" href=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/ChristopherBrix_2023_springschool_dataninja_poster.pdf\">ChristopherBrix_2023_springschool_dataninja_poster<\/a><a href=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/ChristopherBrix_2023_springschool_dataninja_poster.pdf\" class=\"wp-block-file__button wp-element-button\" download aria-describedby=\"wp-block-file--media-6fe9372c-001b-482c-a08b-dc5c31e4ab79\">Download Poster File<\/a><\/div>\n\n\n\n<style>\n#page-site-header > .overlay, .page-header {\n    display: none;\n}\n<\/style>\n","protected":false},"excerpt":{"rendered":"<p>Provably Bounding Neural Network Preimages Suhas Kotha1, Christopher Brix2, Zico Kolter1,4, Krishnamurthy (Dj) Dvijotham3, Huan Zhang11 Carnegie Mellon University, Pittsburgh [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":1075,"parent":1142,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ub_ctt_via":"","footnotes":""},"featured_image_src":"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/04\/SpringSchool2023_HeaderOfPage-rescaled.png","_links":{"self":[{"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/pages\/1208"}],"collection":[{"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1208"}],"version-history":[{"count":2,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/pages\/1208\/revisions"}],"predecessor-version":[{"id":1363,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/pages\/1208\/revisions\/1363"}],"up":[{"embeddable":true,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/pages\/1142"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/media\/1075"}],"wp:attachment":[{"href":"https:\/\/dataninja.nrw\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1208"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}