Huajian Xin
Identifiers
No identifiers captured yet.
Papers (4)
- DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition cs.CL · 2025 · author #4
- DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning cs.CL · 2025 · author #45
- DeepSeek-V3 Technical Report cs.CL · 2024 · author #30
- DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model cs.CL · 2024 · author #26
Mentions
No mention provenance yet.
Frequent Coauthors
- Chong Ruan 4 shared papers
- Daya Guo 4 shared papers
- Dejian Yang 4 shared papers
- Junxiao Song 4 shared papers
- Liyue Zhang 4 shared papers
- Qihao Zhu 4 shared papers
- Shirong Ma 4 shared papers
- Wenjun Gao 4 shared papers
- Yuxuan Liu 4 shared papers
- Zhe Fu 4 shared papers
- Zhihong Shao 4 shared papers
- Z.Z. Ren 4 shared papers
- Aixin Liu 3 shared papers
- Bei Feng 3 shared papers
- Bingxuan Wang 3 shared papers
- Chenggang Zhao 3 shared papers
- Damai Dai 3 shared papers
- DeepSeek-AI 3 shared papers
- Deli Chen 3 shared papers
- Dongjie Ji 3 shared papers