Lazar Milikic

Lemmy00's activity

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

liked a model about 13 hours ago

EleutherAI/llemma_7b

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

liked a dataset about 13 hours ago

EleutherAI/proof-pile-2

Updated Oct 25, 2023 • 8.76k • 216

updated a dataset 1 day ago

formalmathatepfl/sft-data-combined

Viewer • Updated about 18 hours ago • 3.6M • 85

updated a dataset 21 days ago

formalmathatepfl/lean-docs

Viewer • Updated 21 days ago • 8.79k • 10

published a dataset 21 days ago

formalmathatepfl/lean-docs

Viewer • Updated 21 days ago • 8.79k • 10

published a dataset 22 days ago

formalmathatepfl/sft-data-combined

Viewer • Updated about 18 hours ago • 3.6M • 85

updated a dataset 25 days ago

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated 25 days ago • 103k • 15

published a dataset 25 days ago

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated 25 days ago • 103k • 15

upvoted a paper 25 days ago

Learning to Repair Lean Proofs from Compiler Feedback

Paper • 2602.02990 • Published Feb 3 • 29