Etienne Bamas

etiennebamas's activity

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

updated a dataset 9 days ago

formalmathatepfl/ape_training

Viewer • Updated 9 days ago • 1.8M • 81

published a dataset 9 days ago

formalmathatepfl/ape_training

Viewer • Updated 9 days ago • 1.8M • 81

updated a model 17 days ago

etiennebamas/ape-warm-start

Text Generation • 4B • Updated 17 days ago • 1.64k

published a model 17 days ago

etiennebamas/ape-warm-start

Text Generation • 4B • Updated 17 days ago • 1.64k

updated a dataset 19 days ago

formalmathatepfl/reasoning_data

Viewer • Updated 18 days ago • 262k • 315

updated a model 22 days ago

etiennebamas/qwen3-4b-lean-compiler-v2

Text Generation • 4B • Updated 22 days ago • 163

published a model 22 days ago

etiennebamas/qwen3-4b-lean-compiler-v2

Text Generation • 4B • Updated 22 days ago • 163

updated a model 28 days ago

etiennebamas/reasoning-classic-grpo-feedback-model-step-340

8B • Updated 28 days ago • 15

published a model 28 days ago

etiennebamas/reasoning-classic-grpo-feedback-model-step-340

8B • Updated 28 days ago • 15

updated a model 28 days ago

etiennebamas/reasoning-grpo-from-feedback-model-step-340

8B • Updated 28 days ago • 19

published a model 28 days ago

etiennebamas/reasoning-grpo-from-feedback-model-step-340

8B • Updated 28 days ago • 19

updated a model about 1 month ago

etiennebamas/reasoning-grpo-feedback-model-step-150

8B • Updated Sep 25 • 3

published a model about 1 month ago

etiennebamas/reasoning-grpo-feedback-model-step-150

8B • Updated Sep 25 • 3

updated a model about 1 month ago

etiennebamas/reasoning-grpo-feedback-model-step-100

8B • Updated Sep 25 • 3

published a model about 1 month ago

etiennebamas/reasoning-grpo-feedback-model-step-100

8B • Updated Sep 25 • 3

updated a model about 1 month ago

etiennebamas/reasoning-classic-grpo-feedback-model-step-100

8B • Updated Sep 25 • 2

published a model about 1 month ago

etiennebamas/reasoning-classic-grpo-feedback-model-step-100

8B • Updated Sep 25 • 2

updated a model about 1 month ago

etiennebamas/reasoning-classic-grpo-feedback-model-step-125

8B • Updated Sep 25 • 3

published a model about 1 month ago

etiennebamas/reasoning-classic-grpo-feedback-model-step-125

8B • Updated Sep 25 • 3

updated a model about 1 month ago

etiennebamas/reasoning-classic-grpo-feedback-model-checkpoint-100

Updated Sep 25