{"id":1182,"date":"2023-06-20T13:11:58","date_gmt":"2023-06-20T13:11:58","guid":{"rendered":"https:\/\/dataninja.nrw\/?page_id=1182"},"modified":"2023-06-20T13:14:45","modified_gmt":"2023-06-20T13:14:45","slug":"02-benedikt-boing-unsupervised-neural-network-verification","status":"publish","type":"page","link":"https:\/\/dataninja.nrw\/?page_id=1182","title":{"rendered":"02 &#8211; Benedikt B\u00f6ing &#8211; Unsupervised Neural Network Verification"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">Unsupervised Neural Network Verification<\/h1>\n\n\n\n<p><strong>Benedikt B\u00f6ing<sup>1<\/sup>\u00a0&amp; Emmanuel M\u00fcller<sup>1<\/sup><\/strong><br><sup>1<\/sup><sup>\u00a0<\/sup>Chair of Data Science and Data Engineering, Technical University of Dortmund, Dortmund, Germany<br><br>Abstract Submitted: 13.04.2023<br>Accepted: 21.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\u00a0<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\/BenediktBoing_2023_springschool_dataninja_abstract.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of BenediktBoing_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\/BenediktBoing_2023_springschool_dataninja_abstract.pdf\">BenediktBoing_2023_springschool_dataninja_abstract<\/a><a href=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/BenediktBoing_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\/BenediktBoing_2023_springschool_dataninja_poster.pdf\" type=\"application\/pdf\" style=\"width:100%;height:600px\" aria-label=\"Embed of BenediktBoing_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\/BenediktBoing_2023_springschool_dataninja_poster.pdf\">BenediktBoing_2023_springschool_dataninja_poster<\/a><a href=\"https:\/\/dataninja.nrw\/wp-content\/uploads\/2023\/06\/BenediktBoing_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>Unsupervised Neural Network Verification Benedikt B\u00f6ing1\u00a0&amp; Emmanuel M\u00fcller11\u00a0Chair of Data Science and Data Engineering, Technical University of Dortmund, Dortmund, Germany [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":1075,"parent":1142,"menu_order":2,"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\/1182"}],"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=1182"}],"version-history":[{"count":1,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/pages\/1182\/revisions"}],"predecessor-version":[{"id":1191,"href":"https:\/\/dataninja.nrw\/index.php?rest_route=\/wp\/v2\/pages\/1182\/revisions\/1191"}],"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=1182"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}