Thomas Betton's picture

13 10

Thomas Betton

tbetton

·

thomasbtnfr

AI & ML interests

None yet

Recent Activity

upvoted an article 1 day ago

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

liked a Space 22 days ago

OpenEvals/evaluation-guidebook

upvoted an article 22 days ago

Improving Prompt Consistency with Structured Generations

View all activity

Organizations

tbetton 's datasets 8

tbetton/validation-putnambench-rocq-lean

Viewer • Updated Nov 19, 2025 • 41 • 7

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 431 • 266

tbetton/train-mathlib-mathcomp

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

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5, 2025 • 410 • 23

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5, 2025 • 488 • 11

tbetton/inria-chatter-light-eval-deepseek

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

tbetton/inria_chatter_full_qwen

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

tbetton/inria_chatter_full

Viewer • Updated May 14, 2025 • 731 • 25