I am a Ph.D. candidate in Peking University, supervised by Prof. Ge Li. I completed my undergraduate studies in School of Computer Science in Wuhan University, where I ranked 1st out of 57. I have also been fortunate to begin my research journey under the supervision of Prof. Mang Ye in 2024.
My research interest includes code generation, formal verification and LLM reasoning. I aspire to work on research that introduces genuinely new paradigms and challenges prevailing assumptions in both academia and industry.
๐ฅ News
- 2026.07: ย ๐๐ Paper Saber has been awarded ACL 2026 SAC Highlight Award.
- 2026.03: ย ๐๐ Paper KOCO-Bench has been accepted by ACL Main Conference 2026.
- 2025.09: ย ๐๐ Our survey paper has been accepted by Software Journal 2025.
- 2025.09: ย ๐๐ Paper OASIS has been accepted by NeurIPS 2025.
- 2025.05: ย ๐๐ Paper GHOST has been accepted by ICML 2025.
๐ Selected Publications
KOCO-Bench: Can Large Language Models Leverage Domain Knowledge in Software Development?
Benchmarks how well language models acquire and apply new domain knowledge in realistic software development.
A Survey on Code Generation with LLM-based Agents
Provides a systematic taxonomy of LLM-based code-generation agents and outlines key challenges and future directions.
OASIS: One-Shot Federated Graph Learning via Wasserstein Assisted Knowledge Integration
Integrates semantic and structural knowledge with a topology codebook and Wasserstein-guided distillation.
GHOST: Generalizable One-Shot Federated Graph Learning with Proxy-Based Topology Knowledge Retention
Retains transferable topology knowledge through learnable proxies for generalizable one-shot federated graph learning.
Parallel Thinking for Language Model with Path Diversity
Encourages diverse reasoning paths during reinforcement learning to prevent mode collapse in parallel thinking.

From I/O to Code with Discovery Agent
Introduces IO2Code and a discovery agent that synthesizes programs from input-output examples through curriculum evolution.
* Equal Contribution
๐ Honors and Awards
- 2026.06 Outstanding Graduate of Wuhan University
- 2026.05 Lei Jun Computer Science Breakthrough Scholarship, Wuhan University (CNY 50,000)
- 2022โ2026 National Scholarship, awarded for three consecutive years (CNY 10,000 each)
- 2024.12 National Second Prize, China Undergraduate Mathematical Contest in Modeling
๐ Education
- 2026โ2031, Ph.D. in Computer Science, School of Computer Science, Peking University
- 2022โ2026, B.Eng. in Computer Science, School of Computer Science, Wuhan University