Lazar Milikic

Lemmy00's activity

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

updated a model 22 days ago

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated 22 days ago • 381

updated 3 models about 1 month ago

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 164

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

Text Generation • 266k • Updated Mar 24 • 129

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 8

published 2 models about 1 month ago

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

Text Generation • 266k • Updated Mar 24 • 129

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24 • 8

liked a model about 2 months ago

EleutherAI/llemma_7b

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

liked a dataset about 2 months ago

EleutherAI/proof-pile-2

Updated Oct 25, 2023 • 9.25k • 223

upvoted a paper 3 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29