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
展示测试时强化学习搜索如何提升大模型形式化推理能力，为定理证明优化提供新思路。