DeepSeek-Prover

条目：1

2026年一月 1 篇

类型	阅读	条目
[自动] [ARXIV]	7min	school 高效定理证明新突破！结构化提示实现少样本学习 🚀 01-25 定理证明 Lean DeepSeek-Prover