etiennebamas/ape-warm-start
Text Generation • 4B • Updated • 1.91k
Etienne Bamas
etiennebamas
·
AI & ML interests
None yet
Recent Activity
updated a model about 11 hours ago
formalmathatepfl/qwen3-0.6b-classic-sft published a model about 11 hours ago
formalmathatepfl/qwen3-0.6b-classic-sft updated a model about 19 hours ago
formalmathatepfl/qwen3-0.6b-feedback-sftOrganizations
models 39
etiennebamas/qwen3-4b-lean-compiler-v2
Text Generation • 4B • Updated • 7
etiennebamas/reasoning-classic-grpo-feedback-model-step-340
8B • Updated • 5
etiennebamas/reasoning-grpo-from-feedback-model-step-340
8B • Updated • 3
etiennebamas/reasoning-grpo-feedback-model-step-150
8B • Updated • 5
etiennebamas/reasoning-grpo-feedback-model-step-100
8B • Updated • 6
etiennebamas/reasoning-classic-grpo-feedback-model-step-100
8B • Updated • 4
etiennebamas/reasoning-classic-grpo-feedback-model-step-125
8B • Updated • 5
etiennebamas/reasoning-classic-grpo-feedback-model-checkpoint-100
Updated
etiennebamas/feedback-reasoning-grpo-checkpoint-100
Updated
datasets 6
etiennebamas/feedback-reasoning-grpo-checkpoint-100
Updated • 8
etiennebamas/rl_data_reasoning_prompt
Viewer • Updated • 213k • 87
etiennebamas/minif2f-results
Preview • Updated • 27
etiennebamas/rl-inference-train
Preview • Updated • 53
etiennebamas/rl-self-distill
Viewer • Updated • 311k • 51
etiennebamas/inference-test-set
Preview • Updated • 292 • 1