Lazar Milikic

Lemmy00's activity

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

updated a model 4 days ago

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

8B • Updated 4 days ago • 74

published a model 5 days ago

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

8B • Updated 4 days ago • 74

updated a model 5 days ago

formalmathatepfl/qwen3-8b-classic-low-timeouts-grpo

8B • Updated 5 days ago • 24

published a model 5 days ago

formalmathatepfl/qwen3-8b-classic-low-timeouts-grpo

8B • Updated 5 days ago • 24

updated a model 5 days ago

formalmathatepfl/qwen3-8b-classic-hybrid-grpo

8B • Updated 5 days ago • 21

published a model 5 days ago

formalmathatepfl/qwen3-8b-classic-hybrid-grpo

8B • Updated 5 days ago • 21

updated a model 6 days ago

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

8B • Updated 6 days ago • 51

published a model 6 days ago

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

8B • Updated 6 days ago • 51

updated a dataset 7 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 7 days ago • 178k • 268

updated 2 datasets 13 days ago

formalmathatepfl/rl_data

Viewer • Updated 13 days ago • 213k • 350

formalmathatepfl/feedback_data_training

Viewer • Updated 13 days ago • 3.55M • 879 • 1

updated a dataset 14 days ago

formalmathatepfl/lean-eval-benchmark

Viewer • Updated 14 days ago • 68.9k • 73

published a dataset 14 days ago

formalmathatepfl/lean-eval-benchmark

Viewer • Updated 14 days ago • 68.9k • 73

updated a model 17 days ago

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

8B • Updated 17 days ago • 157

published a model 17 days ago

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

8B • Updated 17 days ago • 157

updated a model 17 days ago

formalmathatepfl/qwen3-4b-feedback-evluator

Text Generation • 4B • Updated 17 days ago • 227

published a model 17 days ago

formalmathatepfl/qwen3-4b-feedback-evluator

Text Generation • 4B • Updated 17 days ago • 227

updated a dataset 18 days ago

formalmathatepfl/qwen3-classic-rl-distl

Viewer • Updated 18 days ago • 87.3k • 49

published a dataset 18 days ago

formalmathatepfl/qwen3-classic-rl-distl

Viewer • Updated 18 days ago • 87.3k • 49

updated a model 25 days ago

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

Text Generation • 8B • Updated 25 days ago • 2k