Lazar Milikic

Lemmy00's activity

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

updated a dataset about 10 hours ago

formalmathatepfl/reasoning_data

Viewer • Updated about 10 hours ago • 137k • 142

updated a model 2 days ago

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

Text Generation • 8B • Updated 2 days ago • 762

published a model 2 days ago

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

Text Generation • 8B • Updated 2 days ago • 762

updated 2 datasets 2 days ago

formalmathatepfl/feedback_data_training

Viewer • Updated 2 days ago • 3.46M • 697 • 1

formalmathatepfl/qwen3-feedback-rl-distl

Viewer • Updated 2 days ago • 87.3k • 48

published a dataset 2 days ago

formalmathatepfl/qwen3-feedback-rl-distl

Viewer • Updated 2 days ago • 87.3k • 48

updated a dataset 2 days ago

formalmathatepfl/rl_data

Viewer • Updated 2 days ago • 122k • 275

updated a model 4 days ago

formalmathatepfl/qwen3-4b-cpt

Text Generation • 4B • Updated 4 days ago • 182

published a model 4 days ago

formalmathatepfl/qwen3-4b-cpt

Text Generation • 4B • Updated 4 days ago • 182

updated a dataset 4 days ago

formalmathatepfl/compiler_data

Viewer • Updated 4 days ago • 4.84M • 77

published a dataset 6 days ago

formalmathatepfl/compiler_data

Viewer • Updated 4 days ago • 4.84M • 77

updated a model 7 days ago

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

Text Generation • 8B • Updated 7 days ago • 306

published a model 7 days ago

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

Text Generation • 8B • Updated 7 days ago • 306

updated a model 11 days ago

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

4B • Updated 11 days ago • 110

published a model 11 days ago

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

4B • Updated 11 days ago • 110

published 2 datasets 12 days ago

formalmathatepfl/reasoning_data

Viewer • Updated about 10 hours ago • 137k • 142

formalmathatepfl/rl_data

Viewer • Updated 2 days ago • 122k • 275

updated a dataset 16 days ago

formalmathatepfl/sft_classic_numina

Viewer • Updated 16 days ago • 99.8k • 37

updated a dataset 22 days ago

formalmathatepfl/sft_classic

Viewer • Updated 22 days ago • 3.3M • 219

updated a dataset 24 days ago

formalmathatepfl/lean-docs

Viewer • Updated 24 days ago • 470k • 32