Zhang, Y.; Shen, L.; Guo, S.; Ji, S. GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers. AAAI 2024, 38, 21797-21805.