Hugging Face
Search models, datasets, users...
Ctrl K
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Etienne Bamas
etiennebamas
Follow
0 followers
·
2 following
AI & ML interests
None yet
Recent Activity
updated
a model
about 5 hours ago
formalmathatepfl/qwen3-0.6b-feedback-sft
published
a model
about 5 hours ago
formalmathatepfl/qwen3-0.6b-feedback-sft
updated
a dataset
25 days ago
formalmathatepfl/ape_training
View all activity
Organizations
etiennebamas
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a model
about 5 hours ago
formalmathatepfl/qwen3-0.6b-feedback-sft
Text Generation
•
0.8B
•
Updated
about 5 hours ago
published
a model
about 5 hours ago
formalmathatepfl/qwen3-0.6b-feedback-sft
Text Generation
•
0.8B
•
Updated
about 5 hours ago
updated
a dataset
25 days ago
formalmathatepfl/ape_training
Viewer
•
Updated
25 days ago
•
1.8M
•
544
published
a dataset
25 days ago
formalmathatepfl/ape_training
Viewer
•
Updated
25 days ago
•
1.8M
•
544
updated
a model
about 1 month ago
etiennebamas/ape-warm-start
Text Generation
•
4B
•
Updated
Oct 9
•
1.91k
published
a model
about 1 month ago
etiennebamas/ape-warm-start
Text Generation
•
4B
•
Updated
Oct 9
•
1.91k
updated
a dataset
about 1 month ago
formalmathatepfl/reasoning_data
Viewer
•
Updated
Oct 8
•
262k
•
260
updated
a model
about 1 month ago
etiennebamas/qwen3-4b-lean-compiler-v2
Text Generation
•
4B
•
Updated
Oct 5
•
7
published
a model
about 1 month ago
etiennebamas/qwen3-4b-lean-compiler-v2
Text Generation
•
4B
•
Updated
Oct 5
•
7
updated
a model
about 1 month ago
etiennebamas/reasoning-classic-grpo-feedback-model-step-340
8B
•
Updated
Sep 29
•
5
published
a model
about 1 month ago
etiennebamas/reasoning-classic-grpo-feedback-model-step-340
8B
•
Updated
Sep 29
•
5
updated
a model
about 1 month ago
etiennebamas/reasoning-grpo-from-feedback-model-step-340
8B
•
Updated
Sep 29
•
3
published
a model
about 1 month ago
etiennebamas/reasoning-grpo-from-feedback-model-step-340
8B
•
Updated
Sep 29
•
3
updated
a model
about 2 months ago
etiennebamas/reasoning-grpo-feedback-model-step-150
8B
•
Updated
Sep 25
•
5
published
a model
about 2 months ago
etiennebamas/reasoning-grpo-feedback-model-step-150
8B
•
Updated
Sep 25
•
5
updated
a model
about 2 months ago
etiennebamas/reasoning-grpo-feedback-model-step-100
8B
•
Updated
Sep 25
•
6
published
a model
about 2 months ago
etiennebamas/reasoning-grpo-feedback-model-step-100
8B
•
Updated
Sep 25
•
6
updated
a model
about 2 months ago
etiennebamas/reasoning-classic-grpo-feedback-model-step-100
8B
•
Updated
Sep 25
•
4
published
a model
about 2 months ago
etiennebamas/reasoning-classic-grpo-feedback-model-step-100
8B
•
Updated
Sep 25
•
4
updated
a model
about 2 months ago
etiennebamas/reasoning-classic-grpo-feedback-model-step-125
8B
•
Updated
Sep 25
•
5
Load more