Research Group
Students and collaborators I currently mentor or work closely with across theorem proving, agents, multimodal AI, medical AI, and cultural alignment.
Master's Students (2025 Cohort)
CurrentUniversity of Macau
- Yuchao Wang: Formal Theorem Prover
- Haoran Wang: Compositional Reasoning
- Wenhao Li: Human-Centered AI, Agent; Research Internship (May 2026) at Guangzhou Laboratory
- Haoyan Xu: Medical AI
- Jiangyu Huang: Cultural Alignment
- Xunqi Wu: Cultural Alignment, Medical AI
Master's2025 Cohort
Master's Students (2024 Cohort)
CurrentUniversity of Macau
- Zihang Zhang: Multi-modal LLM
Master's2024 Cohort
Undergraduate Students (2023 Cohort)
CurrentUniversity of Macau
- Yang Li: Agent, Multi-modal LLM; Summer Research 2026 at Westlake University
- Chao Tang: Agent; Summer Research 2026 at Westlake University
- Ziyan Hong: Human-Centered AI, Agent; Summer Research 2026 at the University of Macau
- Siyuan Xuwu: Human-Centered AI, Agent
- Yifei Zhu: Medical AI
- Yiting Qu: Medical AI
- Wenxi Ao: Math + AI; Summer Research 2025 at the University of Macau
- Guanyu Liu: Formal Theorem Prover
- Lingyi Ou: Medical AI; Summer Research 2025 at the University of Macau ; admitted to HKUST M.S. (2026)
- Yangshen Pan: Cultural Alignment; Summer Research 2026 at the University of Macau
Undergraduate2023 Cohort
Undergraduate Students (2022 Cohort)
Current / Alumni PathwaysUniversity of Macau
- Rongsheng Zhang: Math + AI; admitted to Johns Hopkins University M.S. (2026)
- Xingchen Chen: Medical AI; admitted to University of Macau M.S. (2026)
- Zhexuan Zhang: Cultural Alignment; admitted to CUHK M.S. (2026)
- Yuang Luo: Cultural Alignment
Undergraduate2022 Cohort