Parameterized Abstract Interpretation for Transformer Verification

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