Théo Stoskopf's picture

Théo Stoskopf PRO

theostos

·

AI & ML interests

None yet

Recent Activity

updated a dataset 2 days ago

theostos/pile-of-rocq

published a dataset 2 days ago

theostos/pile-of-rocq

updated a dataset 4 months ago

theostos/crrracq

View all activity

Organizations

theostos 's datasets 9

theostos/pile-of-rocq

Viewer • Updated 2 days ago • 50.4M • 19

theostos/crrracq

Viewer • Updated Dec 5, 2025 • 3.5M • 6

theostos/llm4docq-mathcomp

Viewer • Updated Nov 19, 2025 • 22.8k • 9

theostos/llm4docq-coq

Viewer • Updated Nov 19, 2025 • 2.3k • 5

theostos/mizarify-eval

Viewer • Updated Sep 2, 2025 • 100 • 7

theostos/mini-zBoolQ

Viewer • Updated Sep 28, 2024 • 388 • 7

theostos/mini-zMMLU

Viewer • Updated Sep 28, 2024 • 387 • 6

theostos/mini-zSlimOrca

Viewer • Updated Sep 28, 2024 • 677 • 6

theostos/mini-zSQuAD

Viewer • Updated Sep 28, 2024 • 783 • 6