{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:18:09Z","timestamp":1725902289047},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"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":[[2022,10,13]]},"DOI":"10.1109\/dsaa54385.2022.10032334","type":"proceedings-article","created":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T18:54:03Z","timestamp":1675882443000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["On Training and Verifying Robust Autoencoders"],"prefix":"10.1109","author":[{"given":"Benedikt","family":"Boing","sequence":"first","affiliation":[{"name":"TU Dortmund University,Dortmund,Germany"}]},{"given":"Emmanuel","family":"Muller","sequence":"additional","affiliation":[{"name":"TU Dortmund University,Dortmund,Germany"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Stacked denoising autoencoders: Learning useful representations in a deep network with a local denoising criterion","author":"Vincent","year":"2010","journal-title":"Journal of Machine Learning Research"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/science.1127647"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2689746.2689747"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3097983.3098052"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2014.6854900"},{"article-title":"Intriguing properties of neural networks","volume-title":"International Conference on Learning Representations, ICLR","author":"Szegedy","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref9","article-title":"A simple weight decay can improve generalization","author":"Krogh","year":"1991","journal-title":"Advances in Neural Information Processing Systems, NIPS"},{"key":"ref10","article-title":"Dropout: a simple way to prevent neural networks from overfitting","author":"Srivastava","year":"2014","journal-title":"Journal of Machine Learning Research"},{"article-title":"Training for faster adversarial robustness verification via inducing relu stability","volume-title":"7th International Conference on Learning Representations, ICLR","author":"Xiao","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-67661-2_13"},{"key":"ref14","article-title":"Fast and effective robustness certification","author":"Singh","year":"2018","journal-title":"Advances in Neural Information Processing Systems 31, NeurIPS"},{"key":"ref15","article-title":"Efficient neural network robustness certification with general activation functions","author":"Zhang","year":"2018","journal-title":"Advances in Neural Information Processing Systems, NeurIPS"},{"article-title":"Towards fast computation of certified robustness for relu networks","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ICML","author":"Weng","key":"ref16"},{"article-title":"Evaluating robustness of neural networks with mixed integer programming","volume-title":"International Conference on Learning Representations, ICLR","author":"Tjeng","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678881"},{"article-title":"Provable robustness of relu networks via maximization of linear regions","volume-title":"The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS","author":"Croce","key":"ref19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/591"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.06083"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-50497-0","author":"Kroening","year":"2016","journal-title":"Decision Procedures - An Algorithmic Point of View"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_11"},{"article-title":"The ucr time series classification archive","year":"2015","author":"Chen","key":"ref24"},{"article-title":"Some methods for classification and analysis of multivariate observations","volume-title":"Proceedings of the fifth Berkeley symposium on mathematical statistics and probability","author":"MacQueen","key":"ref25"}],"event":{"name":"2022 IEEE 9th International Conference on Data Science and Advanced Analytics (DSAA)","start":{"date-parts":[[2022,10,13]]},"location":"Shenzhen, China","end":{"date-parts":[[2022,10,16]]}},"container-title":["2022 IEEE 9th International Conference on Data Science and Advanced Analytics (DSAA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10032305\/10032324\/10032334.pdf?arnumber=10032334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T10:44:56Z","timestamp":1707821096000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10032334\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/dsaa54385.2022.10032334","relation":{},"subject":[],"published":{"date-parts":[[2022,10,13]]}}}