{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:41:04Z","timestamp":1740102064907,"version":"3.37.3"},"reference-count":50,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T00:00:00Z","timestamp":1687046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T00:00:00Z","timestamp":1687046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000287","name":"Royal Academy of Engineering","doi-asserted-by":"publisher","award":["CiET17\/18-26"],"award-info":[{"award-number":["CiET17\/18-26"]}],"id":[{"id":"10.13039\/501100000287","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,18]]},"DOI":"10.1109\/ijcnn54540.2023.10191169","type":"proceedings-article","created":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T17:30:03Z","timestamp":1690997403000},"page":"1-9","source":"Crossref","is-referenced-by-count":2,"title":["Verification-friendly Networks: the Case for Parametric ReLUs"],"prefix":"10.1109","author":[{"given":"Francesco","family":"Leofante","sequence":"first","affiliation":[{"name":"Imperial College London,Department of Computing,London,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Henriksen","sequence":"additional","affiliation":[{"name":"Imperial College London,Department of Computing,London,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[{"name":"Imperial College London,Department of Computing,London,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","article-title":"Bias field robustness verification of large neural image classifiers","author":"henriksen","year":"0","journal-title":"Proceedings of the 32nd British Machine Vision Conference (BMVC21)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/351"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/364"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref11","first-page":"2513","article-title":"Efficient neural network verification via adaptive refinement and adversarial search","author":"henriksen","year":"0","journal-title":"Proceedings of the 24th European Conference on Artificial Intelligence (ECAI20)"},{"key":"ref10","article-title":"A dual approach to scalable verification of deep networks","author":"dvijotham","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref17","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"0","journal-title":"Proceedings of the 7th International Conference on Learning Representations (ICLR19)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref19","first-page":"6367","article-title":"Efficient formal safety analysis of neural networks","author":"wang","year":"2018","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/SPW54247.2022.9833884"},{"key":"ref46","article-title":"Certified training: Small boxes are all you need","author":"muller","year":"0","journal-title":"Proceedings of the 11th International Conference on Learning Representations (ICLR23)"},{"key":"ref45","article-title":"Towards stable and efficient training of verifiably robust neural networks","author":"zhang","year":"0","journal-title":"Proceedings of the 8th International Conference on Learning Representations (ICLR20)"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26736"},{"key":"ref47","article-title":"IBP regularization for verified adversarial robustness via branch-and-bound","author":"palma","year":"2022","journal-title":"ArXiv Preprint"},{"key":"ref42","first-page":"3575","article-title":"Differentiable abstract interpretation for provably robust neural networks","author":"mirman","year":"0","journal-title":"Proceedings of the 35th International Conference on Machine Learning (ICML18)"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR46437.2021.00429"},{"key":"ref44","first-page":"5286","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","author":"wong","year":"0","journal-title":"Proceedings of the 35th International Conference on Machine Learning (ICML18)"},{"key":"ref43","first-page":"8410","article-title":"Scaling provable adversarial defenses","author":"wong","year":"2018","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref49","first-page":"631","article-title":"Is robustness the cost of accuracy? - a comprehensive study on the robustness of 18 deep image classification models","author":"su","year":"0","journal-title":"Proceedings of the 15th European Conference on Computer Vision (ECCV18)"},{"key":"ref8","first-page":"3291","article-title":"Efficient verification of neural networks via dependency analysis","author":"botoeva","year":"0","journal-title":"Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI20) AAAI Press"},{"key":"ref7","first-page":"15313","article-title":"Certifying geometric robustness of neural networks","author":"balunovic","year":"2019","journal-title":"Advances in Neural Information Processing Systems (NeurIPS19) Curran Associates Inc"},{"key":"ref9","first-page":"1","article-title":"Branch and bound for piecewise linear neural network verification","volume":"21","author":"bunel","year":"2020","journal-title":"Journal of Machine Learning Research"},{"key":"ref4","first-page":"97","article-title":"Relu-plex: An efficient SMT solver for verifying deep neural networks","volume":"10426","author":"katz","year":"0","journal-title":"Proceedings of the 29th International Conference on Computer Aided Verification (CAV17) ser Lecture Notes in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_6"},{"key":"ref6","first-page":"269","article-title":"Formal verification of piece-wise linear feed-forward neural networks","volume":"10482","author":"ehlers","year":"0","journal-title":"Proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA17) ser Lecture Notes in Computer Science"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_4"},{"key":"ref40","first-page":"6542","article-title":"Lipschitz-margin training: Scalable certification of perturbation invariance for deep neural networks","author":"tsuzuku","year":"2018","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref35","article-title":"Explaining and harnessing adversarial examples","author":"goodfellow","year":"0","journal-title":"Proceedings of the 3rd International Conference on Learning Representations ICLR15"},{"journal-title":"Tiny imagenet visual recognition challenge","year":"2015","author":"lee","key":"ref34"},{"key":"ref37","article-title":"Efficient exact verification of binarized neural networks","author":"jia","year":"2020","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref36","first-page":"1","article-title":"In search for a satfriendly binarized neural network architecture","author":"narodytska","year":"0","journal-title":"Proceedings of the 8th International Conference on Learning Representations (ICLR20)"},{"key":"ref31","article-title":"Empirical evaluation of rectified activations in convolutional network","author":"xu","year":"2015","journal-title":"ArXiv Preprint"},{"key":"ref30","article-title":"Formal security analysis of neural networks using symbolic intervals","author":"wang","year":"0","journal-title":"Proceedings of the 27th USENIX Security Symposium (USENIX18)"},{"journal-title":"CIFAR-10 Dataset","year":"2014","author":"krizhevsky","key":"ref33"},{"journal-title":"The MNIST Database of Handwritten Digits","year":"1998","author":"lecun","key":"ref32"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-90870-6_41"},{"key":"ref1","article-title":"Deep learning","volume":"1","author":"goodfellow","year":"2016","journal-title":"MIT Press Cambridge"},{"key":"ref39","first-page":"22745","article-title":"Training certifiably robust neural networks with efficient local lipschitz bounds","author":"huang","year":"0","journal-title":"Proceedings of the 35th Conference on Advances in Neural Information Processing Systems (NeurIPS21)"},{"key":"ref38","first-page":"6212","article-title":"Globally-robust neural networks","volume":"139","author":"leino","year":"0","journal-title":"Proceedings of the 38th International Conference on Machine Learning (ICML21) ser Proceedings of Machine Learning Research"},{"key":"ref24","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","author":"raghunathan","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref23","article-title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming","author":"fazlyab","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref26","first-page":"953","article-title":"Towards better understanding of training certifiably robust models against adversarial examples","author":"lee","year":"2021","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i7.20689"},{"key":"ref20","article-title":"Beta-crown: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification","author":"wang","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2021\/301"},{"key":"ref21","article-title":"The second international verification of neural networks competition (vnn-comp 2021): Summary and results","author":"bak","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref28","first-page":"1","article-title":"Training for faster adversarial robustness verification via inducing relu stability","author":"xiao","year":"0","journal-title":"Proceedings of the 7th International Conference on Learning Representations (ICLR19)"},{"key":"ref27","first-page":"18335","article-title":"Fast certified robust training via better initialization and shorter warmup","author":"shi","year":"2021","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref29","first-page":"2505","article-title":"Verification of neural networks: Enhancing scalability through pruning","author":"guidotti","year":"0","journal-title":"Proceedings of the 24th European Conference on Artificial Intelligence (ECAI20)"}],"event":{"name":"2023 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2023,6,18]]},"location":"Gold Coast, Australia","end":{"date-parts":[[2023,6,23]]}},"container-title":["2023 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10190990\/10190992\/10191169.pdf?arnumber=10191169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T17:47:22Z","timestamp":1692640042000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10191169\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,18]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/ijcnn54540.2023.10191169","relation":{},"subject":[],"published":{"date-parts":[[2023,6,18]]}}}