Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
HF IMO colab
Team
community
Activity Feed
Follow
9
AI & ML interests
None defined yet.
Recent Activity
lewtun
updated
a model
24 minutes ago
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
lewtun
updated
a model
30 minutes ago
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
lewtun
authored
a paper
8 months ago
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
View all activity
Team members
7
models
2
Sort: Recently updated
hf-imo-colab/Qwen3-4B-Thinking-2507-SFT
Text Generation
•
4B
•
Updated
about 15 hours ago
•
655
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
Text Generation
•
4B
•
Updated
2 days ago
•
1.99k
•
1
datasets
17
Sort: Recently updated
hf-imo-colab/olympiads-proof-schema-cleaned
Viewer
•
Updated
13 days ago
•
1.46k
•
54
hf-imo-colab/olympiads-proof-schema-cleaned-rc
Viewer
•
Updated
18 days ago
•
1.46k
•
57
hf-imo-colab/olympiads-proof-schema
Viewer
•
Updated
28 days ago
•
2.25k
•
40
hf-imo-colab/olympiads-proof-benchmark
Viewer
•
Updated
29 days ago
•
140
•
36
hf-imo-colab/DeepScaleR-Preview-Dataset
Viewer
•
Updated
Nov 14, 2025
•
40.3k
•
7
hf-imo-colab/olympiads-proof-schema-benchmark
Viewer
•
Updated
Nov 11, 2025
•
6
•
24
hf-imo-colab/IMOBench-ProofBench
Viewer
•
Updated
Nov 5, 2025
•
60
•
116
hf-imo-colab/olympiads-ref-base-exact-matching
Viewer
•
Updated
Nov 4, 2025
•
3.46k
•
14
hf-imo-colab/olympiads-ref-base-math-word
Viewer
•
Updated
Nov 4, 2025
•
3.37k
•
25
•
1
hf-imo-colab/AMO-Bench
Viewer
•
Updated
Oct 31, 2025
•
50
•
59
View 17 datasets