Théo Stoskopf's picture

Théo Stoskopf PRO

theostos

·

AI & ML interests

None yet

Recent Activity

updated a dataset 9 days ago

theostos/llm4docq-mathcomp

published a dataset 9 days ago

theostos/llm4docq-mathcomp

updated a dataset 9 days ago

theostos/llm4docq-coq

View all activity

Organizations

theostos 's datasets 7

theostos/llm4docq-mathcomp

Viewer • Updated 9 days ago • 22.8k • 82

theostos/llm4docq-coq

Viewer • Updated 9 days ago • 2.3k • 12

theostos/mizarify-eval

Viewer • Updated Sep 2 • 100 • 31

theostos/mini-zBoolQ

Viewer • Updated Sep 28, 2024 • 388 • 6

theostos/mini-zMMLU

Viewer • Updated Sep 28, 2024 • 387 • 8

theostos/mini-zSlimOrca

Viewer • Updated Sep 28, 2024 • 677 • 5

theostos/mini-zSQuAD

Viewer • Updated Sep 28, 2024 • 783 • 14