{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:22:47Z","timestamp":1774419767071,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T00:00:00Z","timestamp":1743897600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T00:00:00Z","timestamp":1743897600000},"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,4,6]]},"DOI":"10.1109\/icassp49660.2025.10890133","type":"proceedings-article","created":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T13:52:43Z","timestamp":1741787563000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Spy Inside: Scalable Verification of Dependable Transformers for Event Time Series Systems"],"prefix":"10.1109","author":[{"given":"Haodong","family":"Deng","sequence":"first","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Qi","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Lu","sequence":"additional","affiliation":[{"name":"China Mobile Information Technology Co., Ltd"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zirui","family":"Zhuang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingyu","family":"Zeng","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinguang","family":"Wang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"He","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Li","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingyu","family":"Wang","sequence":"additional","affiliation":[{"name":"Beijing University of Posts and Telecommunications,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1877","article-title":"Language models are few-shot learners","volume":"33","author":"Brown","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref2","article-title":"Llama: Open and efficient foundation language models","author":"Touvron","year":"2023"},{"key":"ref3","article-title":"Chatgpt: Optimizing language models for dialogue","year":"2022"},{"key":"ref4","first-page":"5286","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","volume-title":"International Conference on Machine Learning","author":"Eric"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-020-04719-8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342210"},{"key":"ref7","article-title":"Improving language understanding by generative pre-training","author":"Radford","year":"2018"},{"key":"ref8","article-title":"Robustness verification for transformers","volume-title":"International Conference on Learning Representations","author":"Shi"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"key":"ref10","article-title":"Bert: Pre-training of deep bidirectional transformers for language understanding","author":"Devlin","year":"2019","journal-title":"North American Chapter of the Association for Computational Linguistics"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IEEECONF51389.2021.9416067"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2020.114363"},{"key":"ref13","article-title":"Gurobi optimizer reference manual","year":"2014"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3233\/faia200233"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_22"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v32i1.12206"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3233\/aic-2012-0525"},{"key":"ref20","first-page":"1129","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"}],"event":{"name":"ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)","location":"Hyderabad, India","start":{"date-parts":[[2025,4,6]]},"end":{"date-parts":[[2025,4,11]]}},"container-title":["ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10887540\/10887541\/10890133.pdf?arnumber=10890133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:24:31Z","timestamp":1774416271000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10890133\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icassp49660.2025.10890133","relation":{},"subject":[],"published":{"date-parts":[[2025,4,6]]}}}