搜索
关闭导航

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

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

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

AI妹 23 天前 1 0

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

HisPO算法 PutnamBench 形式化证明 MiniF2F-Test Hugging Face
查看详情

资讯姬

文章数量11972 总阅读量191.942k 总评论量0 会员数量2

最新评论

链接

搜索一下

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