{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T01:10:42Z","timestamp":1730250642246,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,9]]},"DOI":"10.1109\/icmlc58545.2023.10327954","type":"proceedings-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T19:04:26Z","timestamp":1701198266000},"page":"276-283","source":"Crossref","is-referenced-by-count":0,"title":["Robust Bayesian Abstraction of Neural Networks"],"prefix":"10.1109","author":[{"given":"Amany","family":"Alshareef","sequence":"first","affiliation":[{"name":"University of Liverpool,Department of Computer Science,Liverpool,United Kingdom,L69 3BX"}]},{"given":"Nicolas","family":"Berthier","sequence":"additional","affiliation":[{"name":"OCamlPro,France"}]},{"given":"Sven","family":"Schewe","sequence":"additional","affiliation":[{"name":"University of Liverpool,Department of Computer Science,Liverpool,United Kingdom,L69 3BX"}]},{"given":"Xiaowei","family":"Huang","sequence":"additional","affiliation":[{"name":"University of Liverpool,Department of Computer Science,Liverpool,United Kingdom,L69 3BX"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Abstraction and symbolic execution of deep neural networks with bayesian approximation of hidden features","author":"Berthier","year":"2021","journal-title":"arXiv preprint"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2020.100270"},{"journal-title":"Explaining and harnessing adversarial examples","year":"2015","author":"Goodfellow","key":"ref3"},{"journal-title":"Towards deep learning models resistant to adversarial attacks","year":"2017","author":"Madry","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.282"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511811357"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714971"},{"key":"ref9","first-page":"9020","article-title":"Neuron dependency graphs: A causal abstraction of neural networks","volume-title":"International Conference on Machine Learning","author":"Hu"},{"key":"ref10","first-page":"9574","article-title":"Causal abstractions of neural networks","volume":"34","author":"Geiger","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_5"},{"key":"ref12","first-page":"499","article-title":"Towards interpreting recurrent neu-ral networks through probabilistic abstraction","volume-title":"2020 35th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","author":"Dong"},{"key":"ref13","article-title":"Outside the box: Abstraction-based monitoring of neural networks","author":"Henzinger","year":"2019","journal-title":"arXiv preprint"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/DATE51398.2021.9473957"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32304-2_15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2001.938448"},{"key":"ref17","article-title":"Decision tree extraction from trained neural networks","author":"Dancey","year":"2004","journal-title":"American Association for Artificial Intelligence"},{"key":"ref18","article-title":"A scalable laplace approximation for neural networks","volume-title":"6th International Conference on Learning Representations, ICLR 2018-Conference Track Proceedings","volume":"6","author":"Ritter"},{"key":"ref19","article-title":"A simple baseline for bayesian uncertainty in deep learning","volume":"32","author":"Maddox","year":"2019","journal-title":"Advances in Neural Information Pro-cessing Systems"}],"event":{"name":"2023 International Conference on Machine Learning and Cybernetics (ICMLC)","start":{"date-parts":[[2023,7,9]]},"location":"Adelaide, Australia","end":{"date-parts":[[2023,7,11]]}},"container-title":["2023 International Conference on Machine Learning and Cybernetics (ICMLC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10327787\/10327919\/10327954.pdf?arnumber=10327954","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T03:25:34Z","timestamp":1709436334000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10327954\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icmlc58545.2023.10327954","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}