Jekyll2026-08-16T19:45:35+09:00https://yo4c5ama.github.io/feed.xmlPh.D. student at Kyushu University researching AI safety and formal verification of Transformer models.Liu Hengjieliu.hengjie.142@s.kyushu-u.ac.jp