Hugging Face's logo 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
Thomas Betton's picture
18 10

Thomas Betton

tbetton
21world's profile picture
·
  • thomasbtnfr

AI & ML interests

None yet

Recent Activity

upvoted an article 17 days ago
Training-Free Reasoning at 88.89% on GPQA Diamond: How Darwin Family Hit Frontier Scores Without a Single Gradient Step
upvoted an article 17 days ago
EMO: Pretraining mixture of experts for emergent modularity
upvoted an article 18 days ago
Unlocking asynchronicity in continuous batching
View all activity

Organizations

Centre Inria de l'Université de Rennes's profile picture Centre National de la Recherche Scientifique's profile picture

models 0

None public yet

datasets 8

tbetton/validation-putnambench-rocq-lean

Viewer • Updated Nov 19, 2025 • 41 • 9

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 431 • 130

tbetton/train-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 8.11k • 193

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5, 2025 • 410 • 12

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5, 2025 • 488 • 9

tbetton/inria-chatter-light-eval-deepseek

Viewer • Updated Jun 4, 2025 • 22.1k • 26

tbetton/inria_chatter_full_qwen

Viewer • Updated May 14, 2025 • 6.19k • 259

tbetton/inria_chatter_full

Viewer • Updated May 14, 2025 • 731 • 140
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs