Y. Zhang, L. Shen, S. Guo, and S. Ji, “GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers”, AAAI, vol. 38, no. 19, pp. 21797–21805, Mar. 2024.