Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
HF IMO colab
Team
community
Activity Feed
Follow
7
AI & ML interests
None defined yet.
Recent Activity
lewtun
updated
a model
40 minutes ago
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
CohenQu
published
a dataset
about 14 hours ago
hf-imo-colab/olympiads-proof-schema-cleaned
CohenQu
published
a model
about 14 hours ago
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
View all activity
Team members
7
models
2
Sort: Recently updated
hf-imo-colab/Qwen3-4B-Thinking-2507-SFT
Text Generation
•
196k
•
Updated
6 days ago
•
339
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
Text Generation
•
4B
•
Updated
8 days ago
•
489
datasets
17
Sort: Recently updated
hf-imo-colab/olympiads-proof-schema-cleaned
Viewer
•
Updated
6 days ago
•
1.46k
•
47
hf-imo-colab/olympiads-proof-schema-cleaned-rc
Viewer
•
Updated
11 days ago
•
1.46k
•
44
hf-imo-colab/olympiads-proof-schema
Viewer
•
Updated
20 days ago
•
2.25k
•
42
hf-imo-colab/olympiads-proof-benchmark
Viewer
•
Updated
21 days ago
•
140
•
44
hf-imo-colab/DeepScaleR-Preview-Dataset
Viewer
•
Updated
Nov 14, 2025
•
40.3k
•
5
hf-imo-colab/olympiads-proof-schema-benchmark
Viewer
•
Updated
Nov 11, 2025
•
6
•
23
hf-imo-colab/IMOBench-ProofBench
Viewer
•
Updated
Nov 5, 2025
•
60
•
104
hf-imo-colab/olympiads-ref-base-exact-matching
Viewer
•
Updated
Nov 4, 2025
•
3.46k
•
11
hf-imo-colab/olympiads-ref-base-math-word
Viewer
•
Updated
Nov 4, 2025
•
3.37k
•
23
•
1
hf-imo-colab/AMO-Bench
Viewer
•
Updated
Oct 31, 2025
•
50
•
4
View 17 datasets