Junxiao Song
Scholar

Junxiao Song

Google Scholar ID: J95hmyQAAAAJ
DeepSeek AI
Reinforcement LearningLarge Language Model
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
12,252
 
H-index
15
 
i10-index
15
 
Publications
19
 
Co-authors
10
list available
Contact
No contact links provided.
Publications
1 items
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
2025
Cited
0
Resume (English only)
Co-authors
10 total
Zhihong Shao
Zhihong Shao
Tsinghua University
Qihao Zhu
Qihao Zhu
Peking University
Runxin Xu
Runxin Xu
DeepSeek AI | Peking University
Peiyi Wang
Peiyi Wang
DeepSeek AI | Peking University
Yu Wu (吴俣)
Yu Wu (吴俣)
DeepSeek AI
Daniel P. Palomar
Daniel P. Palomar
Department of Electronic & Computer Engineering, Department of Industrial Eng. & Decision Analytics
Daya Guo
Daya Guo
DeepSeek-AI
Co-author 8
Co-author 8