deepseek-ai/DeepSeek-Prover-V2-671B
Text Generation • 684B • Updated • 1.82k • 849
DeepSeek-Prover
DeepSeek-Prover-Series
-
-
deepseek-ai/DeepSeek-Prover-V2-7B
7B • Updated • 7.01k • 166 -
deepseek-ai/DeepSeek-ProverBench
Viewer • Updated • 325 • 6.47k • 48 -
deepseek-ai/DeepSeek-Prover-V1.5-Base
7B • Updated • 804 • 33 -
deepseek-ai/DeepSeek-Prover-V1.5-SFT
7B • Updated • 879 • 31 -
deepseek-ai/DeepSeek-Prover-V1.5-RL
7B • Updated • 1.23k • 81 -
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Paper • 2408.08152 • Published • 64 -
deepseek-ai/DeepSeek-Prover-V1
7B • Updated • 396 • 29 -
deepseek-ai/DeepSeek-Prover-V1
Viewer • Updated • 27.5k • 2.73k • 74 -
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Paper • 2405.14333 • Published • 48