Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
18
11
Thomas Betton
tbetton
Follow
21world's profile picture
1 follower
·
3 following
thomasbtnfr
AI & ML interests
None yet
Recent Activity
liked
a model
1 day ago
zai-org/GLM-5.2-FP8
upvoted
an
article
about 1 month ago
Training-Free Reasoning at 88.89% on GPQA Diamond: How Darwin Family Hit Frontier Scores Without a Single Gradient Step
upvoted
an
article
about 1 month ago
EMO: Pretraining mixture of experts for emergent modularity
View all activity
Organizations
models
0
None public yet
datasets
8
Sort: Recently updated
tbetton/validation-putnambench-rocq-lean
Viewer
•
Updated
Nov 19, 2025
•
41
•
13
tbetton/validation-mathlib-mathcomp
Viewer
•
Updated
Aug 20, 2025
•
431
•
126
tbetton/train-mathlib-mathcomp
Viewer
•
Updated
Aug 20, 2025
•
8.11k
•
310
tbetton/putnambench-rocq-lean
Viewer
•
Updated
Aug 5, 2025
•
410
•
24
tbetton/miniF2F-rocq-lean
Viewer
•
Updated
Aug 5, 2025
•
488
•
36
tbetton/inria-chatter-light-eval-deepseek
Viewer
•
Updated
Jun 4, 2025
•
22.1k
•
203
tbetton/inria_chatter_full_qwen
Viewer
•
Updated
May 14, 2025
•
6.19k
•
54
tbetton/inria_chatter_full
Viewer
•
Updated
May 14, 2025
•
731
•
169