Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
5
rzz
deepseekrzz
Follow
Xdotnet's profile picture
thomwolf's profile picture
YangMieMie8023's profile picture
115 followers
·
1 following
AI & ML interests
None yet
Recent Activity
updated
a collection
about 1 month ago
DeepSeek-Prover
updated
a collection
about 1 month ago
DeepSeek-Prover
updated
a collection
about 1 month ago
DeepSeek-Prover
View all activity
Organizations
deepseekrzz
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a collection
about 1 month ago
DeepSeek-Prover
Collection
DeepSeek-Prover-Series
•
10 items
•
Updated
Apr 30
•
54
published
a dataset
about 1 month ago
deepseek-ai/DeepSeek-ProverBench
Viewer
•
Updated
Apr 30
•
325
•
793
•
30
updated
a model
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-671B
Text Generation
•
Updated
Apr 30
•
6.53k
•
•
795
published
a model
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-7B
Updated
Apr 30
•
47k
•
109
updated
a dataset
about 1 month ago
deepseek-ai/DeepSeek-ProverBench
Viewer
•
Updated
Apr 30
•
325
•
793
•
30
updated
a model
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-7B
Updated
Apr 30
•
47k
•
109
updated
a dataset
9 months ago
deepseek-ai/DeepSeek-Prover-V1
Viewer
•
Updated
Sep 12, 2024
•
27.5k
•
388
•
64
updated
a model
9 months ago
deepseek-ai/DeepSeek-Prover-V1.5-Base
Updated
Aug 29, 2024
•
1.29k
•
17
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-Base
9 months ago
fix config.json
#6 opened 9 months ago by
llllvvuu
updated
a model
9 months ago
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Updated
Aug 29, 2024
•
2.44k
•
13
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-SFT
9 months ago
fix config.json
#4 opened 9 months ago by
llllvvuu
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-RL
9 months ago
fix config.json
#7 opened 9 months ago by
llllvvuu
updated
a model
9 months ago
deepseek-ai/DeepSeek-Prover-V1.5-RL
Updated
Aug 29, 2024
•
3.37k
•
62
New activity in
deepseek-ai/DeepSeek-Prover-V1
9 months ago
fix config.json
#1 opened 9 months ago by
llllvvuu
updated
a model
9 months ago
deepseek-ai/DeepSeek-Prover-V1
Updated
Aug 29, 2024
•
639
•
11
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-RL
9 months ago
Set `model_type` to `llama`
1
#6 opened 10 months ago by
llllvvuu