Portrait of Liu Hengjie

Liu Hengjie

Ph.D. student at Kyushu University working on AI safety, formal verification, and certified robustness of Transformer models.

CAV 2026 Publication

Published in Computer Aided Verification (CAV), 2026

CAV 2026

This work studies formal verification and local certified robustness for encoder-only Transformer models, with an emphasis on sound bounds for attention-related nonlinear operations and scalability to deeper models.