热点
"Lean 4" 相关文章
Leanabell-Prover-V2: Verifier-integrated Reasoning for Formal Theorem Proving via Reinforcement Learning
cs.AI updates on arXiv.org 2025-07-14T04:08:18.000000Z
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
新智元 2025-05-22T07:17:56.000000Z
陶哲轩联手AI挑战经典ε-δ极限，加法秒杀、乘法翻车
36kr 2025-05-22T04:14:54.000000Z
藏师傅带你一图了解 DeepSeek 新模型！
歸藏的AI工具箱 2025-05-14T14:23:12.000000Z
藏师傅带你一图了解 DeepSeek 新模型！
歸藏的AI工具箱 2025-05-08T07:27:08.000000Z
DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
掘金 人工智能 2025-05-03T05:48:06.000000Z
DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
机器之心 2025-05-01T09:46:17.000000Z
面向程序员的Lean 4教程(4) - 结构体
掘金 人工智能 2025-02-06T10:32:36.000000Z
Distillation Of DeepSeek Prover V1.5
少点错误 2024-10-15T19:08:22.000000Z
DeepSeek-AI Open-Sources DeepSeek-Prover-V1.5: A Language Model with 7 Billion Parameters that Outperforms all Open-Source Models in Formal Theorem Proving in Lean 4
MarkTechPost@AI 2024-08-17T11:05:03.000000Z