Recruit

I am always interested to recruit self-motivated and bold students to join my group as (online or offline) interns. I also have opennings for full-time {Researchers, Research Assistants, PhD Students} as of 2025-05. A more detailed description can be found at this post, and its funny version is at xhs. The project description is here.

I’m particularly looking for candidates that are familiar with or determined to spend considerable time learning: 1. formal verification1, or 2. deep RL2. Note that decent/strong coding skills3 are also preferred.


  1. Able to solve exercises in Software Foundations (Volume 1) or Lean4 (first 5 sections). ↩︎

  2. Or, able to solve exercises in RL Intro (first 8 chapters) or math foundation (first 5 chapters). ↩︎

  3. e.g., can learn to develop RL variants based on verl quickly ↩︎

Current Members

I feel honored to be able to work, and grow together, with young students having unlimited talent.

Interns

  • Jiayi Zhou | Autoformalization | PhD at Peking U.
  • Qingmao Yao | RL | PhD at Peking U.
  • Xu Xu | RL | Msc. at Peking U.
  • Chuanhao Yan | Autoformalization | Undergrad at Tsinghua U., Yao Class
  • Jingzhe Shi | Autoformalization | Undergrad at Tsinghua U., Yao Class
  • Xinyu Zhou | Meta Learning, Reasoning | Msc at EPFL
  • Zhaoliang Chen | Diffusion Model, Reasoning | Undergrad at Emory U.
Alumni (they as interns, me as advisor)

These are excellent students who I advised and worked with when I worked as an independent researcher

  • Ka Man Lo | Diffusion Model | Undergrad at Peking U., Yuanpei Class, 2022 - 24
  • Zekun Wang | LLMs | MPhil at Beihang U., 2022 - 24
  • Zihan Qiu | LLMs, Modular DL | undergrad at Tsinghua U., Yao Class -> Alibaba Qwen Team, 2022 - 24
  • Lukas Vierling | LLMs | Exchange undergrad at HKUST -> MPhil at Oxford, 2024
  • Ge Zhang | LLMs | Msc at U. of Michigan -> PhD at U. of Waterloo, 2022 - 23
  • Zeyu Huang | LLMs | PhD at U. of Edinburgh, 2022 - 23
  • Chenmien Tan | LLMs | Msc at U. of Edinburgh, 2023
  • Jingbang Chen | Meta Learning | Msc at UCLA -> PhD at UCLA, 2023
  • Chenqing Hua | Graph neural network & Drug Discovery, MPhil at McGill U., 2022 - 23
  • Jiayi Geng | Meta Learning, Undergrad at McGill U. -> MPhil at Princeton U., 2022 - 23
  • Qi Liu | Molecular Dynamics, PhD at City U. of Hong Kong, 2022
  • Haoyu He | Deep Genomics, PhD at Max Planck, 2022
  • Wei Pang | Drug Discovery, MSc at U. of Waterloo, 2022
  • Maolong Yang | Retrieval-based transformer, undergrad at Yao Class, Tsinghua U., 2022
Alumni (they as interns, me as mentor)

These are amazing students who I mentored and worked with when I was still a junior researcher

  • Zedian Xiao | Drug Discovery, undergrad at McGill U. -> MSc at Stanford U.
  • Bingchan Zhao | RL for power network, undergrad at Peking U. -> MPhil at Peking U.
  • Zhijian Duan | RL, undergrad at Peking U. -> PhD at Peking U.
  • Mustafa Alghali | AI for social good, MSc at AMMI -> data scientist at Unity
  • Ronak Pradeep | Question answering, undergrad at U. of Waterloo -> PhD at U. of Waterloo
  • Ning Dai | Translation, undergrad at Fudan U. -> PhD at Oregon State U.
  • Dayiheng Liu | Text generation, PhD at Sichuan U. -> researcher at Alibaba
  • Shangbang Long | Adversarial attack, undergrad at Peking U. -> research engineer at Google
  • Vardaan Pahuja | Visual question answering, MSc at Mila -> PhD at Ohio State U.
  • Danlu Chen | Hyperparameter optimization, undergrad at Fudan U. -> PhD at UCSD
  • Ritchie Ng | Hyperparameter optimization, undergrad at NUS -> hedge fund director
  • Hongyin Luo | Hyperparameter optimization, undergrad at Tsinghua U. -> PhD at MIT