PulseAugur
中
实时 19:38:36
实体 AI-MO/Kimina-Prover-RL-1.7B

AI-MO/Kimina-Prover-RL-1.7B

PulseAugur coverage of AI-MO/Kimina-Prover-RL-1.7B — every cluster mentioning AI-MO/Kimina-Prover-RL-1.7B 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/1 页 · 共 1 条
  1. RESEARCH · CL_322526 ·

    开源流水线训练Lean 4定理证明器，创下新基准 · 跟踪1个来源

    Hugging Face发布了Kimina-Prover-RL，这是一个用于Lean 4编程语言中形式定理证明的开源训练流水线。该流水线受DeepSeek-R1启发，并利用Verl库的GRPO强化学习方法，使模型能够生成自然语言推理跟踪，随后生成相应的Lean代码。因此发布了两个模型：AI-MO/Kimina-Prover-RL-1.7B和AI-MO/Kimina-Prover-RL-0.6B，它们都在各自的规模类别中创下了MiniF…