热点
"形式化推理" 相关文章
Kimina-Prover 预览版：基于强化学习的大规模形式化推理模型
月之暗面 Kimi 2025-04-19T07:01:53.000000Z
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
机器之心 2025-03-08T09:00:56.000000Z
Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
36氪 AI 2024-12-24T09:51:33.000000Z