ZHANG, Yunruo; SHEN, Lujia; GUO, Shanqing; JI, Shouling. GaLileo: General Linear Relaxation Framework for Tightening Robustness Certification of Transformers. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 38, n. 19, p. 21797–21805, 2024. DOI: 10.1609/aaai.v38i19.30180. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/30180. Acesso em: 1 jun. 2026.