Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Lazar Milikic
Lemmy00
1
1
2
Follow
0 followers
·
3 following
@Lemmy00
AI & ML interests
None yet
Recent Activity
updated
a dataset
about 2 months ago
formalmathatepfl/sft_classic_numina
published
a dataset
about 2 months ago
formalmathatepfl/sft_classic_numina
updated
a model
about 2 months 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
about 2 months ago
formalmathatepfl/sft_classic_numina
Viewer
•
Updated
Jun 5
•
99.8k
•
138
published
a dataset
about 2 months ago
formalmathatepfl/sft_classic_numina
Viewer
•
Updated
Jun 5
•
99.8k
•
138
updated
a model
about 2 months ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050
7B
•
Updated
Jun 3
•
4
published
a model
about 2 months ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-2050
7B
•
Updated
Jun 3
•
4
updated
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-800
7B
•
Updated
May 25
•
3
published
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-feedback-grpo-800
7B
•
Updated
May 25
•
3
updated
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-grpo-800
Reinforcement Learning
•
7B
•
Updated
May 22
•
27
published
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-grpo-800
Reinforcement Learning
•
7B
•
Updated
May 22
•
27
updated
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-feedback-1e
Text Generation
•
7B
•
Updated
May 19
•
101
published
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-feedback-1e
Text Generation
•
7B
•
Updated
May 19
•
101
updated
a dataset
2 months ago
formalmathatepfl/rl_data
Viewer
•
Updated
May 18
•
162k
•
73
•
1
published
a dataset
2 months ago
formalmathatepfl/rl_data
Viewer
•
Updated
May 18
•
162k
•
73
•
1
updated
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e
Text Generation
•
7B
•
Updated
May 17
•
31
published
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e
Text Generation
•
7B
•
Updated
May 17
•
31
updated
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-cpt
Text Generation
•
7B
•
Updated
May 16
•
14
published
a model
2 months ago
formalmathatepfl/deepseek-prover-v2-cpt
Text Generation
•
7B
•
Updated
May 16
•
14
Load more