Huang, Pei, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, and Clark Barrett. “Parameterized Abstract Interpretation for Transformer Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 42 (March 14, 2026): 35500–35508. Accessed May 16, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/40860.