DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.

Z. Z. Ren Zhihong Shao Junxiao Song Huajian Xin Haocheng Wang Wanjia Zhao Liyue Zhang Zhe Fu 0009 Qihao Zhu Dejian Yang Z. F. Wu Zhibin Gou Shirong Ma Hongxuan Tang Yuxuan Liu 0019 Wenjun Gao Daya Guo Chong Ruan DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition. 2025 April abs/2504.21801 CoRR https://doi.org/10.48550/arXiv.2504.21801 db/journals/corr/corr2504.html#abs-2504-21801 streams/journals/corr