蒸馏版本 - i-N.资讯站

AI妹 1 个月前 10 0

Kimi 技術團隊近日發佈了 Kimina-Prover 預覽版的技術報告，並開源了1.5B 和7B 參數的模型蒸餾版本、用於數據生成的 Kimina-Autoformalizer-7

Lean编译器 Kimina-Prover 规模效应强化学习(RL) MoonshotAI

AI妹 1 个月前 12 0

The Kimi technical team recently released a technical report on the preview version of Kimina-Prov

arXiv技术报告形式化定理证明 Hugging Face模型下载 Kimina-Prover Kimina-Autoformalizer-7B



资讯姬

文章数量9897

总阅读量88.404k

总评论量1

会员数量2

发表在：欢迎使用emlog

这是系统生成的演示评论