Incoming
MPhil in Computer Science
The Chinese University of Hong Kong, Shenzhen
Curriculum Vitae
A brief academic overview.
My background spans mathematics, formal reasoning, and machine learning. The PDF contains the detailed record of publications, research experience, teaching, and activities.
Education
2022–2026
Undergraduate studies in Applied Mathematics
The Chinese University of Hong Kong, Shenzhen
Research experience
View research page ↗Mar 2026–Present
Research Intern · IQuest Research
Mechanistic analysis of large language models in Beijing. Mentored by Professor Jie Fu.
May 2025–Jan 2026
Research Intern · Shanghai AI Laboratory
Large language models for formal reasoning, including training and evaluation with verifier feedback. Mentored by Professor Jie Fu.
Dec 2023–Oct 2025
Research Assistant · CUHK-Shenzhen
Theoretical machine learning, mathematical modeling, and optimization modeling. Advised by Professors Benyou Wang and Zhongxiang Dai.
Teaching
View teaching page ↗2024
Undergraduate Teaching Fellow
Honours Ordinary Differential Equations and Honours Calculus at CUHK-Shenzhen.
2023–2025
Student Seminar Speaker
Talks on PPO and veRL, and on real analysis.