Qihao Zhu
Also known as 朱琪豪
Qihao Zhu is an AI researcher whose work carries structured code generation and repair into large language models. He coauthored TreeGen, Recoder and Tare, and his doctoral thesis won a 2024 Distinguished Thesis Award from TCSE and CCF. At DeepSeek, he coauthored DeepSeek-Coder-V2 and DeepSeek-V3, was named a core contributor to DeepSeek-R1, and coauthored DeepSeek-Prover-V2. As of October 2026, he is a researcher at DeepSeek in Beijing, working on code and formal reasoning.
Timeline
-
2020
TreeGen for code generation
In 2020, he coauthors TreeGen, a tree-based neural architecture for code generation. It uses Transformer attention and an AST reader to incorporate grammar rules and syntax-tree structure.
-
August 2021–May 2023
Syntax-guided code repair
In August 2021, he coauthors A Syntax-Guided Edit Decoder for Neural Program Repair for ESEC/FSE. In May 2023, he coauthors Tare for ICSE, a type-aware model that integrates type information into a grammar and guides patch generation with typing rules.
-
June 2024
DeepSeek-Coder-V2 for code
In June 2024, he coauthors DeepSeek-Coder-V2, an open-source mixture-of-experts code model. It expands support from 86 to 338 programming languages.
-
December 2024
A distinguished thesis
In December 2024, his doctoral thesis wins the Distinguished Thesis Award from TCSE, CCF. Yingfei Xiong and Lu Zhang co-advise the thesis, which guides neural networks to learn programming-language syntax and types for defect repair and code search.
-
December 2024
Coauthoring DeepSeek-V3
In December 2024, he coauthors the DeepSeek-V3 technical report, which presents a mixture-of-experts language model with 671 billion total parameters and 37 billion activated per token.
-
January 2025
Reasoning in DeepSeek-R1
In January 2025, he is named among DeepSeek-R1's core contributors. The report describes reasoning models trained through reinforcement learning.
-
April 2025
Formal theorem proving
In April 2025, he coauthors DeepSeek-Prover-V2, an open-source model for formal theorem proving in Lean 4. Its training pipeline uses DeepSeek-V3 to decompose complex problems into subgoals before reinforcement learning.
-
As of October 2026
Researcher at DeepSeek
As of October 2026, he is a researcher at DeepSeek in Beijing. His work covers code language models, mathematical and formal reasoning, and reinforcement learning.
Career
- Since 2024DeepSeekResearcher
- 2022–2025Singapore University of Technology and Design
- 2018–2025Peking University
Most-cited works
- Deregulated microRNAs in gastric cancer tissue-derived mesenchymal stem cells: novel biomarkers and a mechanism for gastric cancer
- A syntax-guided edit decoder for neural program repair
- The IL-6–STAT3 axis mediates a reciprocal crosstalk between cancer-derived mesenchymal stem cells and neutrophils to synergistically prompt gastric cancer progression
- DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code IntelligenceWith Daya Guo
- TreeGen: A Tree-Based Transformer Architecture for Code Generation
Sources and credits
Photo: We have no published photo of Qihao Zhu yet. Send us a free-licensed photo.
- TreeGen: A Tree-Based Transformer Architecture for Code Generation
- A Syntax-Guided Edit Decoder for Neural Program Repair · Yingfei Xiong
- Tare: Type-Aware Neural Program Repair (ICSE 2023 - Technical Track) - ICSE 2023
- DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
- Ph.D. Thesis of Qihao Zhu won the Distinguished Thesis Award by TCSE, CCF-Programming Languages Lab, Peking University
- DeepSeek-V3 Technical Report
- DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
- DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
- DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
- Qihao Zhu 朱琪豪 · Code Intelligence & Reasoning · DeepSeek

