Théo Stoskopf's picture

Théo Stoskopf PRO

theostos

·

AI & ML interests

None yet

Recent Activity

updated a dataset 4 minutes ago

theostos/pile-of-rocq

published a dataset 4 minutes ago

theostos/pile-of-rocq

published a model 25 minutes ago

theostos/Qwen2.5-Coder-32B-Instruct-Mizarify

View all activity

Organizations

theostos 's datasets 10

theostos/pile-of-rocq

Updated 4 minutes ago

theostos/crrracq

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

theostos/llm4docq-mathcomp

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

theostos/llm4docq-coq

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

theostos/mizarify-eval

Viewer • Updated Sep 2, 2025 • 100 • 5

theostos/mizarify-train

Updated Sep 2, 2025

theostos/mini-zBoolQ

Viewer • Updated Sep 28, 2024 • 388 • 8

theostos/mini-zMMLU

Viewer • Updated Sep 28, 2024 • 387 • 6

theostos/mini-zSlimOrca

Viewer • Updated Sep 28, 2024 • 677 • 5

theostos/mini-zSQuAD

Viewer • Updated Sep 28, 2024 • 783 • 3