Zhang, Yunruo, Lujia Shen, Shanqing Guo, and Shouling Ji. 2024. “GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (19):21797-805. https://doi.org/10.1609/aaai.v38i19.30180.