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]
Abstract is missing.