Thomas Betton's picture

Thomas Betton

tbetton

·

thomasbtnfr

AI & ML interests

None yet

Organizations

tbetton 's datasets 8

tbetton/validation-putnambench-rocq-lean

Viewer • Updated Nov 19, 2025 • 41 • 2

tbetton/validation-mathlib-mathcomp

Viewer • Updated Aug 20, 2025 • 431 • 333

tbetton/train-mathlib-mathcomp

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

tbetton/putnambench-rocq-lean

Viewer • Updated Aug 5, 2025 • 410 • 5

tbetton/miniF2F-rocq-lean

Viewer • Updated Aug 5, 2025 • 488 • 8

tbetton/inria-chatter-light-eval-deepseek

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

tbetton/inria_chatter_full_qwen

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

tbetton/inria_chatter_full

Viewer • Updated May 14, 2025 • 731 • 71