Thomas Betton's picture

12 10

Thomas Betton

tbetton

·

thomasbtnfr

AI & ML interests

None yet

Recent Activity

liked a Space 10 days ago

OpenEvals/evaluation-guidebook

upvoted an article 10 days ago

Improving Prompt Consistency with Structured Generations

updated a dataset about 1 month ago

tbetton/validation-putnambench-rocq-lean

View all activity

Organizations

models 0

None public yet

datasets 8

tbetton/validation-putnambench-rocq-lean

Viewer • Updated Nov 19 • 41 • 9

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20 • 431 • 265

tbetton/train-mathlib-mathcomp

Viewer • Updated Aug 20 • 8.11k • 308

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5 • 410 • 33

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5 • 488 • 12

tbetton/inria-chatter-light-eval-deepseek

Viewer • Updated Jun 4 • 22.1k • 17

tbetton/inria_chatter_full_qwen

Viewer • Updated May 14 • 6.19k • 26

tbetton/inria_chatter_full

Viewer • Updated May 14 • 731 • 31