热点
"形式化定理证明" 相关文章
StepFun-Prover Preview: Let's Think and Verify Step by Step
cs.AI updates on arXiv.org 2025-07-29T04:21:35.000000Z
LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving
cs.AI updates on arXiv.org 2025-06-30T04:14:27.000000Z
藏师傅带你一图了解 DeepSeek 新模型！
歸藏的AI工具箱 2025-05-14T14:23:12.000000Z
藏师傅带你一图了解 DeepSeek 新模型！
歸藏的AI工具箱 2025-05-08T07:27:08.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