Lazar Milikic

Lemmy00's activity

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

updated a model about 1 hour ago

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

8B • Updated about 1 hour ago

published a model about 1 hour ago

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

8B • Updated about 1 hour ago

updated a model about 1 hour ago

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

8B • Updated about 1 hour ago

published a model about 1 hour ago

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

8B • Updated about 1 hour ago

updated a dataset 1 day ago

formalmathatepfl/rl_data

Viewer • Updated 1 day ago • 187k • 275

updated a dataset 3 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 3 days ago • 137k • 173

updated a model 4 days ago

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

Text Generation • 8B • Updated 4 days ago • 1.18k

published a model 4 days ago

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

Text Generation • 8B • Updated 4 days ago • 1.18k

updated 2 datasets 4 days ago

formalmathatepfl/feedback_data_training

Viewer • Updated 4 days ago • 3.46M • 701 • 1

formalmathatepfl/qwen3-feedback-rl-distl

Viewer • Updated 4 days ago • 87.3k • 54

published a dataset 4 days ago

formalmathatepfl/qwen3-feedback-rl-distl

Viewer • Updated 4 days ago • 87.3k • 54

updated a model 6 days ago

formalmathatepfl/qwen3-4b-cpt

Text Generation • 4B • Updated 6 days ago • 216

published a model 6 days ago

formalmathatepfl/qwen3-4b-cpt

Text Generation • 4B • Updated 6 days ago • 216

updated a dataset 6 days ago

formalmathatepfl/compiler_data

Viewer • Updated 6 days ago • 4.84M • 81

published a dataset 8 days ago

formalmathatepfl/compiler_data

Viewer • Updated 6 days ago • 4.84M • 81

updated a model 9 days ago

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

Text Generation • 8B • Updated 9 days ago • 307

published a model 9 days ago

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

Text Generation • 8B • Updated 9 days ago • 307

updated a model 13 days ago

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

4B • Updated 13 days ago • 111

published a model 13 days ago

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

4B • Updated 13 days ago • 111

published a dataset 14 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 3 days ago • 137k • 173