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
14 days ago
formalmathatepfl/sft_classic_numina
published
a dataset
14 days ago
formalmathatepfl/sft_classic_numina
updated
a model
15 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
upvoted
a
paper
4 months ago
Learning to Repair Lean Proofs from Compiler Feedback
Paper
•
2602.02990
•
Published
Feb 3
•
29