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