Thomas Betton's picture

13 10

Thomas Betton

tbetton

·

thomasbtnfr

AI & ML interests

None yet

Recent Activity

upvoted an article 10 days ago

DualPipe Explained: A Comprehensive Guide to DualPipe That Anyone Can Understand—Even Without a Distributed Training Background

liked a Space about 1 month ago

OpenEvals/evaluation-guidebook

upvoted an article about 1 month ago

Improving Prompt Consistency with Structured Generations

View all activity

Organizations

models 0

None public yet

datasets 8

tbetton/validation-putnambench-rocq-lean

Viewer • Updated Nov 19, 2025 • 41 • 7

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 431 • 267

tbetton/train-mathlib-mathcomp

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

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5, 2025 • 410 • 24

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5, 2025 • 488 • 8

tbetton/inria-chatter-light-eval-deepseek

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

tbetton/inria_chatter_full_qwen

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

tbetton/inria_chatter_full

Viewer • Updated May 14, 2025 • 731 • 21