Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
deepseek-ai 's Collections
DeepSeek-R1
DeepSeek-V3
DeepSeek-VL2
Janus
DeepSeek-Prover
DeepSeek-V2
DeepSeekCoder-V2
DeepSeek-Math
ESFT
DeepSeek-VL
DeepSeek-Coder
DeepSeek-LLM
DeepSeek-MoE
DeepSeek-V2.5

DeepSeek-Prover

updated Apr 30

DeepSeek-Prover-Series

Upvote
54

  • deepseek-ai/DeepSeek-Prover-V2-671B

    Text Generation • Updated Apr 30 • 8.83k • • 795

  • deepseek-ai/DeepSeek-Prover-V2-7B

    Updated Apr 30 • 47k • 109

  • deepseek-ai/DeepSeek-ProverBench

    Viewer • Updated Apr 30 • 325 • 1.66k • 30

  • deepseek-ai/DeepSeek-Prover-V1.5-Base

    Updated Aug 29, 2024 • 1.24k • 17

  • deepseek-ai/DeepSeek-Prover-V1.5-SFT

    Updated Aug 29, 2024 • 2.54k • 13

  • deepseek-ai/DeepSeek-Prover-V1.5-RL

    Updated Aug 29, 2024 • 4.61k • 62

  • DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

    Paper • 2408.08152 • Published Aug 15, 2024 • 60

  • deepseek-ai/DeepSeek-Prover-V1

    Updated Aug 29, 2024 • 482 • 11

  • deepseek-ai/DeepSeek-Prover-V1

    Viewer • Updated Sep 12, 2024 • 27.5k • 387 • 64

  • DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

    Paper • 2405.14333 • Published May 23, 2024 • 41
Upvote
54
  • Collection guide
  • Browse collections
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs