登录之后可以开启更多功能哦
Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoformalizer-7
这是系统生成的演示评论
emlog1 个月前
发表在：欢迎使用emlog这是系统生成的演示评论