实体
Kimina-Prover-RL
Kimina-Prover-RL
PulseAugur coverage of Kimina-Prover-RL — every cluster mentioning Kimina-Prover-RL across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
时间线
- 2025-08-14 product_launch Hugging Face released Kimina-Prover-RL, an open-source training pipeline for formal theorem proving in Lean 4, along with two new state-of-the-art models. 来源
最近 · 第 1/1 页 · 共 1 条