Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
5
rzz
deepseekrzz
Follow
Abhimanyu9539's profile picture
lyc557's profile picture
maodouzi123's profile picture
117 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
•
624
•
30
updated
a model
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-671B
Text Generation
•
Updated
Apr 30
•
5.6k
•
•
797
published
a model
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-7B
Updated
Apr 30
•
52k
•
109
updated
a dataset
about 1 month ago
deepseek-ai/DeepSeek-ProverBench
Viewer
•
Updated
Apr 30
•
325
•
624
•
30
updated
a model
about 1 month ago
deepseek-ai/DeepSeek-Prover-V2-7B
Updated
Apr 30
•
52k
•
109
updated
a dataset
9 months ago
deepseek-ai/DeepSeek-Prover-V1
Viewer
•
Updated
Sep 12, 2024
•
27.5k
•
370
•
64
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-Base
10 months ago
fix config.json
#6 opened 10 months ago by
llllvvuu
updated
2 models
10 months ago
deepseek-ai/DeepSeek-Prover-V1.5-Base
Updated
Aug 29, 2024
•
1.68k
•
17
deepseek-ai/DeepSeek-Prover-V1.5-SFT
Updated
Aug 29, 2024
•
2.7k
•
13
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-SFT
10 months ago
fix config.json
#4 opened 10 months ago by
llllvvuu
updated
a model
10 months ago
deepseek-ai/DeepSeek-Prover-V1.5-RL
Updated
Aug 29, 2024
•
3.92k
•
62
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-RL
10 months ago
fix config.json
#7 opened 10 months ago by
llllvvuu
New activity in
deepseek-ai/DeepSeek-Prover-V1
10 months ago
fix config.json
#1 opened 10 months ago by
llllvvuu
updated
a model
10 months ago
deepseek-ai/DeepSeek-Prover-V1
Updated
Aug 29, 2024
•
919
•
11
New activity in
deepseek-ai/DeepSeek-Prover-V1.5-RL
10 months ago
Set `model_type` to `llama`
1
#6 opened 10 months ago by
llllvvuu