热点
"形式化数学推理" 相关文章
明日直播｜AI4Math，形式化数学推理，Meta科学家杨凯峪分享，报名
智源社区 2025-02-25T13:52:16.000000Z
明日直播｜AI4Math，Meta科学家杨凯峪分享形式化数学推理
智源社区 2025-02-25T11:07:11.000000Z
Meta｜AI4Math，形式化数学推理，人工智能新前沿，一作杨凯峪分享
智源社区 2025-02-21T04:37:10.000000Z
This AI Paper Explores How Formal Systems Could Revolutionize Math LLMs
MarkTechPost@AI 2024-12-28T21:04:47.000000Z
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
机器之心 2024-12-24T08:06:07.000000Z