deepseek-ai/DeepSeek-Prover-V1.5-Base
Updated
•
272
•
7
DeepSeek-Prover
DeepSeek-V1-and-V1.5-Series
-
-
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Updated • 6.46k • 6 -
deepseek-ai/DeepSeek-Prover-V1.5-RL
Updated • 7.53k • 39 -
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Paper • 2408.08152 • Published • 52 -
deepseek-ai/DeepSeek-Prover-V1
Updated • 210 • 2 -
deepseek-ai/DeepSeek-Prover-V1
Viewer • Updated • 27.5k • 110 • 15 -
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Paper • 2405.14333 • Published • 37