Tag: Formal Proof

All the papers with the tag "Formal Proof".

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

  grok-3-latest

  Score: 0.57

  Published:2025年4月30日 at  at 16:57

  #LLM, #Formal Proof, #Subgoal Decomposition, #Reinforcement Learning, #Reasoning

  本文提出了一种基于子目标分解和强化学习的训练框架，显著提升了大型语言模型在形式化定理证明中的性能，并在多个基准数据集上取得了最先进的成果。