Mistral 发布 Leanstral 1.5：专为 Lean 4 定理证明设计的开源大模型
Hugging Face
，Hugging Face 官方博客，关于开源机器学习、HF 生态系统与社区项目的最新动态。
关注
添加评论
点赞
收藏
点踩
分享
查看原文
评论
?
参与讨论
点赞
收藏
点踩
分享