Lazar Milikic

Lemmy00's activity

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

updated a model 3 days ago

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

8B • Updated 3 days ago • 72

published a model 3 days ago

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

8B • Updated 3 days ago • 72

updated a model 3 days ago

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

8B • Updated 3 days ago • 23

published a model 3 days ago

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

8B • Updated 3 days ago • 23

updated a model 3 days ago

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

8B • Updated 3 days ago • 19

published a model 3 days ago

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

8B • Updated 3 days ago • 19

updated a model 4 days ago

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

8B • Updated 4 days ago • 51

published a model 4 days ago

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

8B • Updated 4 days ago • 51

updated a dataset 5 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 5 days ago • 178k • 270

updated 2 datasets 11 days ago

formalmathatepfl/rl_data

Viewer • Updated 11 days ago • 213k • 374

formalmathatepfl/feedback_data_training

Viewer • Updated 11 days ago • 3.55M • 870 • 1

updated a dataset 12 days ago

formalmathatepfl/lean-eval-benchmark

Viewer • Updated 12 days ago • 68.9k • 69

published a dataset 12 days ago

formalmathatepfl/lean-eval-benchmark

Viewer • Updated 12 days ago • 68.9k • 69

updated a model 15 days ago

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

8B • Updated 15 days ago • 155

published a model 15 days ago

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

8B • Updated 15 days ago • 155

updated a model 16 days ago

formalmathatepfl/qwen3-4b-feedback-evluator

Text Generation • 4B • Updated 16 days ago • 223

published a model 16 days ago

formalmathatepfl/qwen3-4b-feedback-evluator

Text Generation • 4B • Updated 16 days ago • 223

updated a dataset 16 days ago

formalmathatepfl/qwen3-classic-rl-distl

Viewer • Updated 16 days ago • 87.3k • 49

published a dataset 16 days ago

formalmathatepfl/qwen3-classic-rl-distl

Viewer • Updated 16 days ago • 87.3k • 49

updated a model 23 days ago

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

Text Generation • 8B • Updated 23 days ago • 1.97k