Théo Stoskopf's picture

Théo Stoskopf PRO

theostos

·

AI & ML interests

None yet

Recent Activity

updated a dataset 1 day ago

theostos/integral-tp-retrieval-cache

published a dataset 1 day ago

theostos/integral-tp-retrieval-cache

updated a dataset about 2 months ago

theostos/pile-of-rocq

View all activity

Organizations

theostos 's datasets 11

theostos/integral-tp-retrieval-cache

Updated 1 day ago • 13

theostos/pile-of-rocq

Viewer • Updated Apr 15 • 47.3M • 116

theostos/crrracq

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

theostos/llm4docq-mathcomp

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

theostos/llm4docq-coq

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

theostos/mizarify-eval

Viewer • Updated Sep 2, 2025 • 100 • 13

theostos/mizarify-train

Viewer • Updated Sep 2, 2025 • 1k • 5

theostos/mini-zBoolQ

Viewer • Updated Sep 28, 2024 • 388 • 8

theostos/mini-zMMLU

Viewer • Updated Sep 28, 2024 • 387 • 7

theostos/mini-zSlimOrca

Viewer • Updated Sep 28, 2024 • 677 • 11

theostos/mini-zSQuAD

Viewer • Updated Sep 28, 2024 • 783 • 7