Kimina-Prover：测试时RL搜索提升形式推理能力

Hugging Face 发布 Kimina-Prover，一种将测试时强化学习（RL）搜索应用于大型形式推理模型的方法。该模型在形式数学推理任务上取得显著进展，通过结合RL搜索策略，在定理证明等场景中提升了推理深度和准确性。Kimina-Prover 基于开源模型构建，旨在推动形式推理领域的研究与应用。