Huang, P. (2026) “Parameterized Abstract Interpretation for Transformer Verification”, Proceedings of the AAAI Conference on Artificial Intelligence, 40(42), pp. 35500–35508. doi: 10.1609/aaai.v40i42.40860.