Lazar Milikic

Lemmy00's activity

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

liked a model 5 days ago

EleutherAI/llemma_7b

Text Generation • Updated Feb 19, 2024 • 535 • • 112

liked a dataset 5 days ago

EleutherAI/proof-pile-2

Updated Oct 25, 2023 • 10k • 216

updated a dataset 6 days ago

formalmathatepfl/sft-data-combined

Viewer • Updated 5 days ago • 3.6M • 143

updated a dataset 25 days ago

formalmathatepfl/lean-docs

Viewer • Updated 25 days ago • 8.79k • 12

published a dataset 25 days ago

formalmathatepfl/lean-docs

Viewer • Updated 25 days ago • 8.79k • 12

published a dataset 27 days ago

formalmathatepfl/sft-data-combined

Viewer • Updated 5 days ago • 3.6M • 143

updated a dataset 29 days ago

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated 29 days ago • 103k • 20

published a dataset 29 days ago

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated 29 days ago • 103k • 20

upvoted a paper 30 days ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29