PulseAugur
中
实时 19:38:14
实体 kimina-client

kimina-client

PulseAugur coverage of kimina-client — every cluster mentioning kimina-client 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…