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 11 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 12 days ago
EMO: Pretraining mixture of experts for emergent modularity
upvoted an article 12 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 • 5

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 431 • 300

tbetton/train-mathlib-mathcomp

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

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5, 2025 • 410 • 10

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5, 2025 • 488 • 9

tbetton/inria-chatter-light-eval-deepseek

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

tbetton/inria_chatter_full_qwen

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

tbetton/inria_chatter_full

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