{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T18:36:24Z","timestamp":1758047784743,"version":"3.44.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"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":[[2025,5,19]]},"DOI":"10.1109\/infocomwkshps65812.2025.11152991","type":"proceedings-article","created":{"date-parts":[[2025,9,12]],"date-time":"2025-09-12T17:28:22Z","timestamp":1757698102000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["A Technical Framework For Formally Verifying AI Models Supporting 6G Network Functions"],"prefix":"10.1109","author":[{"given":"M M Hassan","family":"Mahmud","sequence":"first","affiliation":[{"name":"Digital Catapult,Technology Team,London,UK,NW1 2RA"}]},{"given":"Renjith","family":"Baby","sequence":"additional","affiliation":[{"name":"Digital Catapult,Technology Team,London,UK,NW1 2RA"}]},{"given":"Shadi","family":"Moazzeni","sequence":"additional","affiliation":[{"name":"Smart Internet Lab University of Bristol,High-Performance Networks Group,UK,BS8 1UB"}]},{"given":"Juan","family":"Parra-Ullauri","sequence":"additional","affiliation":[{"name":"Smart Internet Lab University of Bristol,High-Performance Networks Group,UK,BS8 1UB"}]},{"given":"Xueqing","family":"Zhou","sequence":"additional","affiliation":[{"name":"Smart Internet Lab University of Bristol,High-Performance Networks Group,UK,BS8 1UB"}]},{"given":"Yulei","family":"Wu","sequence":"additional","affiliation":[{"name":"Smart Internet Lab University of Bristol,High-Performance Networks Group,UK,BS8 1UB"}]},{"given":"Konstantinos","family":"Katsaros","sequence":"additional","affiliation":[{"name":"Digital Catapult,Technology Team,London,UK,NW1 2RA"}]},{"given":"Ioannis","family":"Mavromatis","sequence":"additional","affiliation":[{"name":"Digital Catapult,Technology Team,London,UK,NW1 2RA"}]},{"given":"Shah","family":"Zeb","sequence":"additional","affiliation":[{"name":"Smart Internet Lab University of Bristol,High-Performance Networks Group,UK,BS8 1UB"}]},{"given":"Rasheed","family":"Hussain","sequence":"additional","affiliation":[{"name":"Smart Internet Lab University of Bristol,High-Performance Networks Group,UK,BS8 1UB"}]},{"given":"Dimitra","family":"Simeonidou","sequence":"additional","affiliation":[{"name":"Smart Internet Lab University of Bristol,High-Performance Networks Group,UK,BS8 1UB"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2019.2921208"},{"key":"ref2","article-title":"Intriguing properties of neural networks","author":"Szegedy","year":"2013","journal-title":"CoRR"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2022.102847"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3571730"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2020.100270"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-024-10824-0"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3503914"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14295-6_24","article-title":"An abstraction-refinement approach to verification of artificial neural networks","volume-title":"International Conference on Computer Aided Verification","author":"Pulina"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-68167-2_19","article-title":"Formal verification of piece-wise linear feed-forward neural networks","volume-title":"Automated Technology for Verification and Analysis","author":"Ehlers","year":"2017"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1561\/9781680839111","volume-title":"Introduction to Neural Network Verification","author":"Albarghouthi","year":"2021"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1561\/2400000035"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3596444"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3643765"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref16","article-title":"auto_LiRPA: Automatic linear relaxation based perturbation analysis for neural networks","volume-title":"GitHub Repository","author":"Zhang"},{"key":"ref17","article-title":"Automatic perturbation analysis for scalable certified robustness and beyond","volume":"33","author":"Xu","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3561048"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3507186"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.001.2400288"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7045396"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TMLCN.2023.3294876"},{"key":"ref23","article-title":"Network intrusion detection & prevention system"}],"event":{"name":"IEEE INFOCOM 2025 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)","location":"London, United Kingdom","start":{"date-parts":[[2025,5,19]]},"end":{"date-parts":[[2025,5,19]]}},"container-title":["IEEE INFOCOM 2025 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11152714\/11152715\/11152991.pdf?arnumber=11152991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T05:23:03Z","timestamp":1757740983000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11152991\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/infocomwkshps65812.2025.11152991","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}