Portrait of Liu Hengjie

Liu Hengjie

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

Talks

CAV 2026 Presentation

Conference presentation · Computer Aided Verification (CAV 2026) · July 2026 · Lisbon, Portugal

Presentation of the accepted work on formal verification and robustness certification for Transformer models.

SAIV 2026 Short Presentation and Poster

7-minute short presentation and poster · SAIV 2026 · July 2026 · Lisbon, Portugal

A short presentation and poster on formal verification research for Transformer models.