热点
"自动形式化" 相关文章
明日直播｜AI4Math，Meta科学家杨凯峪分享形式化数学推理
智源社区 2025-02-25T11:07:11.000000Z
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
机器之心 2024-12-24T08:06:07.000000Z