Hello! I am passionate about constructing fast and secure AI programming systems. In pursuit of my goals, I am conducting research that integrates the theory of programming language with large language models.
<Interest>
AI Programming, Program Synthesis,
Mechanistic Interpretability of Transformer, Secured Programming System
💻 Github