Brian Hsuan-Cheng Liao, Chih-Hong Cheng, Hasan Esen, Alois Knoll. Are Transformers More Robust? Towards Exact Robustness Verification for Transformers. In Jérémie Guiochet, Stefano Tonetta, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings. Volume 14181 of Lecture Notes in Computer Science, pages 89-103, Springer, 2023. [doi]
@inproceedings{LiaoCEK23,
title = {Are Transformers More Robust? Towards Exact Robustness Verification for Transformers},
author = {Brian Hsuan-Cheng Liao and Chih-Hong Cheng and Hasan Esen and Alois Knoll},
year = {2023},
doi = {10.1007/978-3-031-40923-3_8},
url = {https://doi.org/10.1007/978-3-031-40923-3_8},
researchr = {https://researchr.org/publication/LiaoCEK23},
cites = {0},
citedby = {0},
pages = {89-103},
booktitle = {Computer Safety, Reliability, and Security - 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings},
editor = {Jérémie Guiochet and Stefano Tonetta and Friedemann Bitsch},
volume = {14181},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-40923-3},
}