Ren, Z. Z., Shao, Z., Song, J., Xin, H., Wang, H., Zhao, W., . . . Ruan, C. (2025). DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.
Citazione stile Chigago Style (17a edizione)Ren, Z. Z., et al. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition. 2025.
Citatione MLA (9a ed.)Ren, Z. Z., et al. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.