Lazar Milikic

Lemmy00's activity

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

updated a model about 22 hours ago

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl

Text Generation • 8B • Updated about 22 hours ago

published a model about 22 hours ago

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-rl

Text Generation • 8B • Updated about 22 hours ago

updated 2 datasets 1 day ago

formalmathatepfl/feedback_data_training

Viewer • Updated about 24 hours ago • 3.46M • 597 • 1

formalmathatepfl/qwen3-feedback-rl-distl

Viewer • Updated 1 day ago • 87.3k

published a dataset 1 day ago

formalmathatepfl/qwen3-feedback-rl-distl

Viewer • Updated 1 day ago • 87.3k

updated a dataset 1 day ago

formalmathatepfl/rl_data

Viewer • Updated 1 day ago • 122k • 226

updated a model 3 days ago

formalmathatepfl/qwen3-4b-cpt

Text Generation • 4B • Updated 3 days ago • 68

published a model 3 days ago

formalmathatepfl/qwen3-4b-cpt

Text Generation • 4B • Updated 3 days ago • 68

updated a dataset 3 days ago

formalmathatepfl/compiler_data

Viewer • Updated 3 days ago • 4.84M • 56

published a dataset 5 days ago

formalmathatepfl/compiler_data

Viewer • Updated 3 days ago • 4.84M • 56

updated a model 6 days ago

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-reasoning

Text Generation • 8B • Updated 6 days ago • 305

published a model 6 days ago

formalmathatepfl/qwen3-sft-feedback-with-proof-repair-reasoning

Text Generation • 8B • Updated 6 days ago • 305

updated a dataset 8 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 8 days ago • 132k • 123

updated a model 10 days ago

Lemmy00/qwen3-4b-lean-eval-GGUF

4B • Updated 10 days ago • 110

published a model 10 days ago

Lemmy00/qwen3-4b-lean-eval-GGUF

4B • Updated 10 days ago • 110

published 2 datasets 11 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 8 days ago • 132k • 123

formalmathatepfl/rl_data

Viewer • Updated 1 day ago • 122k • 226

updated a dataset 16 days ago

formalmathatepfl/sft_classic_numina

Viewer • Updated 16 days ago • 99.8k • 42

updated a dataset 21 days ago

formalmathatepfl/sft_classic

Viewer • Updated 21 days ago • 3.3M • 192

updated a dataset 23 days ago

formalmathatepfl/lean-docs

Viewer • Updated 23 days ago • 470k • 27