热点
"AI4Math" 相关文章
UW&微软｜显著提升LLM在数学任务上的表现，单样本强化学习，可至73.6%，代码全开源
智源社区 2025-05-20T04:32:46.000000Z
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