Scholar
Junxiao Song
Google Scholar ID: J95hmyQAAAAJ
DeepSeek AI
Reinforcement Learning
Large Language Model
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
12,252
H-index
15
i10-index
15
Publications
19
Co-authors
10
list available
Publications
1 items
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
2025
Cited
0
Co-authors
9 total
Zhihong Shao
Tsinghua University
Qihao Zhu
Peking University
Runxin Xu
DeepSeek AI | Peking University
Peiyi Wang
DeepSeek AI | Peking University
Yu Wu (吴俣)
DeepSeek AI
Daniel P. Palomar
Department of Electronic & Computer Engineering, Department of Industrial Eng. & Decision Analytics
Daya Guo
DeepSeek-AI
Huajian Xin
University of Edinburgh & ByteDance Seed
