Lazar Milikic

Lemmy00's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 6 days ago

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated 6 days ago • 193

updated 3 models 20 days ago

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated 20 days ago • 251

formalmathatepfl/mistral-7B-v0.3-finetuned

Text Generation • 266k • Updated 20 days ago • 132

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated 20 days ago • 38

published 2 models 20 days ago

formalmathatepfl/mistral-7B-v0.3-finetuned

Text Generation • 266k • Updated 20 days ago • 132

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated 20 days ago • 38

liked a model about 1 month ago

EleutherAI/llemma_7b

Text Generation • Updated Feb 19, 2024 • 1.37k • • 112

liked a dataset about 1 month ago

EleutherAI/proof-pile-2

Updated Oct 25, 2023 • 10k • 222

upvoted a paper 2 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29