@inproceedings{huang2026parameterized,
 title={Parameterized Abstract Interpretation for Transformer Verification},
 author={Huang, Pei and Wei, Dennis and Isac, Omri and Wu, Haoze and Wu, Min and Barrett, Clark},
 booktitle={Proceedings of the AAAI Conference on Artificial Intelligence},
 volume={40},
 number={42},
 pages={35500--35508},
 year={2026}
}