Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
Date:
Presentation of the accepted Transformer verification paper at CAV 2026.
Liu Hengjie
Ph.D. student at Kyushu University working on AI safety, formal verification, and certified robustness of Transformer models.
- Fukuoka, Japan
- Kyushu University
- Google Scholar
- ORCID
- GitHub