DeepSeek-Prover-V1 的升级版？
#13
by
zhnagchenchne
- opened
deepseek-ai/DeepSeek-Prover-V1 的升级版？
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
deepseek-ai/DeepSeek-Prover-V1 的升级版？
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
