I'm a researcher focused on solving problems in computer graphics and machine learning. I am interested in large language models, multimodal reasoning, generative models, reinforcement learning, formal proof, crypto, and differentiable graphics. I like photography, snowboarding, digital drawing, electric guitar, sci-fi movie and anime. I sometimes do game streaming on bilibili.