Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
1
1
2
Lazar Milikic
Lemmy00
Follow
0 followers
·
3 following
@Lemmy00
AI & ML interests
None yet
Recent Activity
updated
a dataset
20 days ago
formalmathatepfl/sft_classic_numina
published
a dataset
20 days ago
formalmathatepfl/sft_classic_numina
updated
a model
22 days ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050
View all activity
Organizations
Lemmy00
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a dataset
20 days ago
formalmathatepfl/sft_classic_numina
Viewer
•
Updated
20 days ago
•
99.8k
•
35
published
a dataset
20 days ago
formalmathatepfl/sft_classic_numina
Viewer
•
Updated
20 days ago
•
99.8k
•
35
updated
a model
22 days ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050
7B
•
Updated
22 days ago
•
34
published
a model
22 days ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050
7B
•
Updated
22 days ago
•
34
updated
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-800
7B
•
Updated
May 25
•
4
published
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-800
7B
•
Updated
May 25
•
4
updated
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-grpo-800
Reinforcement Learning
•
7B
•
Updated
May 22
•
1.32k
published
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-grpo-800
Reinforcement Learning
•
7B
•
Updated
May 22
•
1.32k
updated
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-feedback-1e
Text Generation
•
7B
•
Updated
May 19
•
540
published
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-feedback-1e
Text Generation
•
7B
•
Updated
May 19
•
540
updated
a dataset
about 1 month ago
formalmathatepfl/rl_data
Viewer
•
Updated
May 18
•
162k
•
57
•
1
published
a dataset
about 1 month ago
formalmathatepfl/rl_data
Viewer
•
Updated
May 18
•
162k
•
57
•
1
updated
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e
Text Generation
•
7B
•
Updated
May 17
•
280
published
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e
Text Generation
•
7B
•
Updated
May 17
•
280
updated
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-cpt
Text Generation
•
7B
•
Updated
May 16
•
129
published
a model
about 1 month ago
formalmathatepfl/deepseek-prover-v2-cpt
Text Generation
•
7B
•
Updated
May 16
•
129
Load more