Zhang, Yunruo, Lujia Shen, Shanqing Guo, and Shouling Ji. “GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers”. Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 19 (March 24, 2024): 21797–21805. Accessed June 1, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/30180.