Lazar Milikic

Lemmy00's activity

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

updated a model 5 days ago

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

8B • Updated 5 days ago • 74

published a model 6 days ago

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

8B • Updated 5 days ago • 74

updated a model 6 days ago

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

8B • Updated 6 days ago • 24

published a model 6 days ago

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

8B • Updated 6 days ago • 24

updated a model 6 days ago

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

8B • Updated 6 days ago • 21

published a model 6 days ago

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

8B • Updated 6 days ago • 21

updated a model 7 days ago

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

8B • Updated 7 days ago • 51

published a model 7 days ago

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

8B • Updated 7 days ago • 51

updated a dataset 8 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 8 days ago • 178k • 269

updated 2 datasets 14 days ago

formalmathatepfl/rl_data

Viewer • Updated 14 days ago • 213k • 330

formalmathatepfl/feedback_data_training

Viewer • Updated 14 days ago • 3.55M • 718 • 1

updated a dataset 15 days ago

formalmathatepfl/lean-eval-benchmark

Viewer • Updated 15 days ago • 68.9k • 81

published a dataset 15 days ago

formalmathatepfl/lean-eval-benchmark

Viewer • Updated 15 days ago • 68.9k • 81

updated a model 18 days ago

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

8B • Updated 18 days ago • 157

published a model 18 days ago

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

8B • Updated 18 days ago • 157

updated a model 19 days ago

formalmathatepfl/qwen3-4b-feedback-evluator

Text Generation • 4B • Updated 19 days ago • 228

published a model 19 days ago

formalmathatepfl/qwen3-4b-feedback-evluator

Text Generation • 4B • Updated 19 days ago • 228

updated a dataset 19 days ago

formalmathatepfl/qwen3-classic-rl-distl

Viewer • Updated 19 days ago • 87.3k • 50

published a dataset 19 days ago

formalmathatepfl/qwen3-classic-rl-distl

Viewer • Updated 19 days ago • 87.3k • 50

updated a model 26 days ago

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

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