Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
Date:
A seven-minute presentation and poster on Transformer verification research at SAIV 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