Kimina-Prover：在大型形式推理模型上应用测试时强化学习搜索
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
精选理由
介绍测试时强化学习搜索如何提升大模型形式化推理与定理证明能力。
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
介绍测试时强化学习搜索如何提升大模型形式化推理与定理证明能力。