Huang, P.; Wei, D.; Isac, O.; Wu, H.; Wu, M.; Barrett, C. Parameterized Abstract Interpretation for Transformer Verification. AAAI 2026, 40, 35500-35508.