Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
核心要点速览
Moonshot AI与Numina联合发布Kimina-Prover，将测试时强化学习搜索应用于大型形式化推理模型。
查看完整报道与分享
完整图文、背景资料与讨论归原始发布平台 Hugging Face 所有。
Moonshot AI与Numina联合发布Kimina-Prover，将测试时强化学习搜索应用于大型形式化推理模型。
完整图文、背景资料与讨论归原始发布平台 Hugging Face 所有。