Zhang, Y. et al. 2024. GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers. Proceedings of the AAAI Conference on Artificial Intelligence. 38, 19 (Mar. 2024), 21797–21805. DOI:https://doi.org/10.1609/aaai.v38i19.30180.