Lazar Milikic

Lemmy00's activity

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

updated a model 2 days ago

formalmathatepfl/deepseek-prover-v2-cpt-sft-1e

Text Generation • 7B • Updated 2 days ago • 21

published a model 2 days ago

formalmathatepfl/deepseek-prover-v2-cpt-sft-1e

Text Generation • 7B • Updated 2 days ago • 21

updated a model 2 days ago

formalmathatepfl/deepseek-prover-v2-cpt

Text Generation • 7B • Updated 2 days ago • 91

published a model 2 days ago

formalmathatepfl/deepseek-prover-v2-cpt

Text Generation • 7B • Updated 2 days ago • 91

updated a model about 1 month ago

formalmathatepfl/deepseek-math-7B-finetuned

Text Generation • 250k • Updated Apr 7 • 193

updated 3 models about 2 months ago

formalmathatepfl/OLMo-3-7B-finetuned

Text Generation • 528k • Updated Mar 24 • 18

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

Text Generation • 266k • Updated Mar 24 • 170

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24

published 2 models about 2 months ago

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

Text Generation • 266k • Updated Mar 24 • 170

formalmathatepfl/deepseek-7B-finetuned

Text Generation • 250k • Updated Mar 24

liked a model 2 months ago

EleutherAI/llemma_7b

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

liked a dataset 2 months ago

EleutherAI/proof-pile-2

Updated Oct 25, 2023 • 20.9k • 224

upvoted a paper 3 months ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29