formalmathatepfl

university

https://www.epfl.ch/en/

AI & ML interests

None defined yet.

Recent Activity

etiennebamas updated a dataset 24 days ago

formalmathatepfl/ape_training

etiennebamas published a dataset 24 days ago

formalmathatepfl/ape_training

etiennebamas updated a dataset about 1 month ago

formalmathatepfl/reasoning_data

View all activity

updated a dataset 24 days ago

formalmathatepfl/ape_training

Viewer • Updated 24 days ago • 1.8M • 541

published a dataset 24 days ago

formalmathatepfl/ape_training

Viewer • Updated 24 days ago • 1.8M • 541

updated a dataset about 1 month ago

formalmathatepfl/reasoning_data

Viewer • Updated Oct 8 • 262k • 284

updated a dataset about 1 month ago

formalmathatepfl/sft_classic

Viewer • Updated Oct 7 • 3.46M • 267

updated a model about 2 months ago

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

8B • Updated Sep 24 • 12

published a model about 2 months ago

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

8B • Updated Sep 24 • 12

updated a model about 2 months ago

formalmathatepfl/classic-reasoning-grpo-step-175

8B • Updated Sep 23 • 10

published a model about 2 months ago

formalmathatepfl/classic-reasoning-grpo-step-175

8B • Updated Sep 23 • 10

updated a model about 2 months ago

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

8B • Updated Sep 23 • 6

published a model about 2 months ago

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

8B • Updated Sep 23 • 6

updated a model about 2 months ago

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

8B • Updated Sep 23 • 4

published a model about 2 months ago

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

8B • Updated Sep 23 • 4

updated a model about 2 months ago

formalmathatepfl/feedback-grpo-reasoning-sft

Text Generation • 8B • Updated Sep 23 • 315

published a model about 2 months ago

formalmathatepfl/feedback-grpo-reasoning-sft

Text Generation • 8B • Updated Sep 23 • 315

updated a model about 2 months ago

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

8B • Updated Sep 22 • 7

published a model about 2 months ago

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

8B • Updated Sep 22 • 7

updated a model about 2 months ago

formalmathatepfl/classic-grpo-reasoning-sft

Text Generation • 8B • Updated Sep 21 • 87

published a model about 2 months ago

formalmathatepfl/classic-grpo-reasoning-sft

Text Generation • 8B • Updated Sep 21 • 87

updated a dataset about 2 months ago

formalmathatepfl/reasoning_data

Viewer • Updated Oct 8 • 262k • 284

updated a model about 2 months ago

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

Text Generation • 8B • Updated Sep 18 • 40