formalmathatepfl

formalmathatepfl's activity

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

etiennebamas 

updated a dataset 4 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 4 days ago • 262k • 295

Lemmy00 

updated a dataset 5 days ago

formalmathatepfl/sft_classic

Viewer • Updated 5 days ago • 3.46M • 382

Lemmy00 

updated a model 19 days ago

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

8B • Updated 19 days ago • 80

Lemmy00 

published a model 19 days ago

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

8B • Updated 19 days ago • 80

etiennebamas 

updated a model 19 days ago

formalmathatepfl/classic-reasoning-grpo-step-175

8B • Updated 19 days ago • 48

etiennebamas 

published a model 19 days ago

formalmathatepfl/classic-reasoning-grpo-step-175

8B • Updated 19 days ago • 48

Lemmy00 

updated a model 19 days ago

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

8B • Updated 19 days ago • 33

Lemmy00 

published a model 19 days ago

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

8B • Updated 19 days ago • 33

Lemmy00 

updated a model 19 days ago

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

8B • Updated 19 days ago • 30

Lemmy00 

published a model 19 days ago

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

8B • Updated 19 days ago • 30

etiennebamas 

updated a model 19 days ago

formalmathatepfl/feedback-grpo-reasoning-sft

Text Generation • 8B • Updated 19 days ago • 1.16k

etiennebamas 

published a model 19 days ago

formalmathatepfl/feedback-grpo-reasoning-sft

Text Generation • 8B • Updated 19 days ago • 1.16k

Lemmy00 

updated a model 20 days ago

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

8B • Updated 20 days ago • 57

Lemmy00 

published a model 20 days ago

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

8B • Updated 20 days ago • 57

etiennebamas 

updated a model 21 days ago

formalmathatepfl/classic-grpo-reasoning-sft

Text Generation • 8B • Updated 21 days ago • 690

etiennebamas 

published a model 21 days ago

formalmathatepfl/classic-grpo-reasoning-sft

Text Generation • 8B • Updated 21 days ago • 690

Lemmy00 

updated a dataset 22 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 4 days ago • 262k • 295

VladShash 

updated a model 24 days ago

formalmathatepfl/qwen3-8b-feedback-non-base-with-repair

Text Generation • 8B • Updated 24 days ago • 523

VladShash 

published a model 24 days ago

formalmathatepfl/qwen3-8b-feedback-non-base-with-repair

Text Generation • 8B • Updated 24 days ago • 523

VladShash 

updated a model 25 days ago

formalmathatepfl/qwen3-8b-feedback-with-repair

Text Generation • 8B • Updated 25 days ago • 298