Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Théo Stoskopf
PRO
theostos
Follow
qbramas's profile picture
1 follower
·
4 following
AI & ML interests
None yet
Recent Activity
updated
a dataset
about 1 month ago
theostos/pile-of-rocq
published
a dataset
about 2 months ago
theostos/pile-of-rocq
published
a model
about 2 months ago
theostos/Qwen2.5-Coder-32B-Instruct-Mizarify
View all activity
Organizations
theostos
's datasets
10
Sort: Recently updated
theostos/pile-of-rocq
Viewer
•
Updated
Apr 15
•
47.3M
•
90
theostos/crrracq
Viewer
•
Updated
Dec 5, 2025
•
3.5M
•
8
theostos/llm4docq-mathcomp
Viewer
•
Updated
Nov 19, 2025
•
22.8k
•
4
theostos/llm4docq-coq
Viewer
•
Updated
Nov 19, 2025
•
2.3k
•
185
theostos/mizarify-eval
Viewer
•
Updated
Sep 2, 2025
•
100
•
10
theostos/mizarify-train
Viewer
•
Updated
Sep 2, 2025
•
1k
•
10
theostos/mini-zBoolQ
Viewer
•
Updated
Sep 28, 2024
•
388
•
11
theostos/mini-zMMLU
Viewer
•
Updated
Sep 28, 2024
•
387
•
9
theostos/mini-zSlimOrca
Viewer
•
Updated
Sep 28, 2024
•
677
•
7
theostos/mini-zSQuAD
Viewer
•
Updated
Sep 28, 2024
•
783
•
8