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

Documenti analoghi

• DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
  di: Xin, Huajian, et al.
  Pubblicazione: (2024)
• DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
  di: Xin, Huajian, et al.
  Pubblicazione: (2024)
• DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
  di: Shao, Zhihong, et al.
  Pubblicazione: (2025)
• DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
  di: DeepSeek-AI, et al.
  Pubblicazione: (2024)
• Insights into DeepSeek-V3: Scaling Challenges and Reflections on Hardware for AI Architectures
  di: Zhao, Chenggang, et al.
  Pubblicazione: (2025)