Parameterized Abstract Interpretation for Transformer Verification.

Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett

Browse the full AAAI paper archive.