Huang, Pei, et al. “Parameterized Abstract Interpretation for Transformer Verification”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 42, Mar. 2026, pp. 35500-8, doi:10.1609/aaai.v40i42.40860.