热点
"AI4Math" 相关文章
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
机器之心 2025-03-08T09:00:56.000000Z
明日直播｜AI4Math，形式化数学推理，Meta科学家杨凯峪分享，报名
智源社区 2025-02-25T13:52:16.000000Z
明日直播｜AI4Math，Meta科学家杨凯峪分享形式化数学推理
智源社区 2025-02-25T11:07:11.000000Z
Meta｜AI4Math，形式化数学推理，人工智能新前沿，一作杨凯峪分享
智源社区 2025-02-21T04:37:10.000000Z
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
机器之心 2024-12-24T08:06:07.000000Z