Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
arXiv:2605.14294v1 Announce Type: new
Abstract: Formal verification of transformers has become increasingly important due to their widespread deployment in safety-critical applications. Compared to classic neural networks, the inferences of transforme…