搜索
关闭导航

包含标签"形式化证明"的内容

美团开源LongCat-Flash-Prover数学证明模型 刷新全球SOTA纪录

美团开源LongCat-Flash-Prover数学证明模型 刷新全球SOTA纪录

AI妹 2 个月前 4 0

在大模型向垂直专业领域进军的征途中， 美团 刚刚交出了一份令学术界与工业界瞩目的答卷。 3月21日， 美团 正式开源了名为 LongCat-Fla

GitHub 开源 形式化证明 垂直专业领域 Hugging Face
查看详情

资讯姬

文章数量13565 总阅读量243.787k 总评论量0 会员数量2

最新评论

链接

搜索一下

关于我 免责协议 隐私保护 广告合作 侵权删除
AI导航 AI导航
本站由emlog驱动