PulseAugur
中
实时 00:37:55
实体 Kimina-Prover-72B

Kimina-Prover-72B

PulseAugur coverage of Kimina-Prover-72B — every cluster mentioning Kimina-Prover-72B across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
时间线
  1. 2025-07-10 product_launch Hugging Face released Kimina-Prover-72B, a new theorem proving model with advanced RL search capabilities. 来源
最近 · 第 1/1 页 · 共 1 条
  1. SIGNIFICANT · CL_325881 ·

    Hugging Face发布Kimina-Prover-72B，采用新颖的强化学习搜索进行形式推理

    Hugging Face发布了Kimina-Prover-72B，这是一款基于Qwen2.5-72B的新型最先进定理证明模型，并使用Kimi k1.5强化学习管道进行训练。该模型引入了一个测试时强化学习搜索框架，使其能够递归地发现和组合引理以进行复杂证明，并具备一种错误修复能力，可以解释Lean错误消息并提出修正。在miniF2F基准测试中，Kimina-Prover的通过率为92.2%，超过了以往的方法。