Hi there! I’m currently an LLM Algorithm Research Intern @Kuaishou Technology, fresh off earning my Bachelor of Engineering in Artificial Intelligence from Nanjing University under the guidance of Prof. Cunjing Ge and Prof. Yizheng Zhao.

During my undergrad, I was lucky enough to dive into AI research as an research intern Clinical NLP Lab, @Yale University with Prof. Hua Xu, and Veri-code Team @Shanghai AI Lab, with Prof. Jie Fu.

I’m passionate about Open-endness AI, especially through Self-Evolving Agents. I believe it’s an essential property of any ASI system. I also keep a close eye on non-autoregressive approaches like Diffusion LLMs and Neuro-Symbolic Learning and Reasoning.

If you share interests in these directions — I would be genuinely excited to connect, discuss ideas, and explore potential collaborations. (๑¯∀¯๑).

Recent News

1. [2025.9.27] Our paper “Impact of Context on Large Language Models for Clinical Named Entity Recognition” was accepted by AMIA 2025 Annual Symposium as a Late Breaking Poster!
2. [2025.8.12] I will be working with Prof. Ning Miao as a research assistant at City University of Hong Kong on October 2, working on LLM reasoning with reinforcement learning and next-generation LLM frameworks! (Since my visa was held up in security screening, I had to take a gap year.) Excite to contribute more truly valuable and solid work ❤️!
3. [2025.7.11] We launched our new Prover model - Lenabell‑Prover‑V2, and released our paper “Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning” on ArXiv.
4. [2025.6.30] I graduated from Nanjing University🎉! Huge thanks to all the friends and professors I’ve met over the past four years — wishing everyone all the best in the future🥰!
5. [2025.5.6] I joined Kuaishou Technology as an LLM Algorithm Research Intern. My work focuses on auto‑formalization and deep reinforcement learning (LLM post‑training).
6. [2025.4.1] Our paper “The Development Landscape of Large Language Models for Biomedical Applications” was accepted by Annual Review 2025!
7. [2025.2.26] Kicked off an AI exploration with Dr. Jie Fu at Shanghai AI Lab — researching auto‑formalization and diffusion‑based LLMs!
8. [2025.12.10] Wrapped up five amazing months at Yale! Immense gratitude to the wonderful postdocs and supportive faculty I worked with — see you again in academia!
9. [2024.7.5] Arrived at Yale ☺️! About to start my research internship in the Clinical NLP Lab with Dr. Hua Xu, focusing on foundational medical LLMs, Named Entity Recognition, and long‑context EHR.

To be continued…