搜索
关闭导航

包含标签"Lean4"的内容

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

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

AI妹 24 天前 2 0

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

HisPO算法 GitHub Hugging Face MiniF2F-Test Lean4
查看详情

资讯姬

文章数量11994 总阅读量200.801k 总评论量0 会员数量2

最新评论

链接

搜索一下

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