Thomas Betton

tbetton's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted an article 5 days ago

view article

Article

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

• 

Feb 28, 2025

•

15

liked a Space 26 days ago

Running

238

Evaluation Guidebook

📝

238

Display benchmark evaluation data for LLMs

upvoted an article 26 days ago

view article

Article

Improving Prompt Consistency with Structured Generations

• 
• 
• +1

Apr 30, 2024

•

68

updated a dataset about 2 months ago

tbetton/validation-putnambench-rocq-lean

Viewer • Updated Nov 19, 2025 • 41 • 8

published a dataset about 2 months ago

tbetton/validation-putnambench-rocq-lean

Viewer • Updated Nov 19, 2025 • 41 • 8

updated a dataset 5 months ago

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 431 • 268

published a dataset 5 months ago

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 431 • 268

updated a dataset 5 months ago

tbetton/train-mathlib-mathcomp

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

published a dataset 5 months ago

tbetton/train-mathlib-mathcomp

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

updated a dataset 5 months ago

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5, 2025 • 410 • 20

published a dataset 5 months ago

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5, 2025 • 410 • 20

updated a dataset 5 months ago

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5, 2025 • 488 • 9

published a dataset 5 months ago

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5, 2025 • 488 • 9

liked a Space 5 months ago

Running

Featured

85

Music Arena Leaderboard

🎵

85

AI Music Arena & Leaderboard (Suno, Udio, Google, Meta, +)

upvoted 2 articles 6 months ago

view article

Article

No GPU left behind: Unlocking Efficiency with Co-located vLLM in TRL

• 
• 
• +4

Jun 3, 2025

•

98

view article

Article

Training and Finetuning Sparse Embedding Models with Sentence Transformers v5

• 
• 

Jul 1, 2025

•

132

updated a dataset 7 months ago

tbetton/inria-chatter-light-eval-deepseek

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

published a dataset 7 months ago

tbetton/inria-chatter-light-eval-deepseek

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

updated 2 datasets 8 months ago

tbetton/inria_chatter_full_qwen

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

tbetton/inria_chatter_full_qwen

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