deepseek-ai/DeepSeek-Prover-V2-671B
Text Generation
•
Updated
•
6.24k
•
•
737
DeepSeek-Prover
DeepSeek-Prover-Series
-
-
deepseek-ai/DeepSeek-Prover-V2-7B
Updated • 5.83k • 90 -
deepseek-ai/DeepSeek-ProverBench
Viewer • Updated • 325 • 1.92k • 26 -
deepseek-ai/DeepSeek-Prover-V1.5-Base
Updated • 1.18k • 17 -
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Updated • 14.5k • 13 -
deepseek-ai/DeepSeek-Prover-V1.5-RL
Updated • 3.85k • 61 -
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Paper • 2408.08152 • Published • 60 -
deepseek-ai/DeepSeek-Prover-V1
Updated • 351 • 11 -
deepseek-ai/DeepSeek-Prover-V1
Viewer • Updated • 27.5k • 605 • 62 -
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Paper • 2405.14333 • Published • 41