TY  - RPRT
TI  - Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
AU  - Hengjie Liu
AU  - Zhenya Zhang
AU  - Jianjun Zhao
PY  - 2026
UR  - https://arxiv.org/abs/2605.14294
ID  - 2605.14294
ER  -