P. Huang, D. Wei, O. Isac, H. Wu, M. Wu, and C. Barrett, “Parameterized Abstract Interpretation for Transformer Verification”, AAAI, vol. 40, no. 42, pp. 35500–35508, Mar. 2026.