Parameterized Abstract Interpretation for Transformer Verification

Published in The 40th Annual AAAI Conference on Artificial Intelligence (AAAI'26), 2026