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
about 1 hour ago
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
lewtun
updated
a model
about 1 hour 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
•
196k
•
Updated
7 days ago
•
357
hf-imo-colab/Qwen3-4B-Thinking-2507-Proof
Text Generation
•
4B
•
Updated
10 days ago
•
893
datasets
17
Sort: Recently updated
hf-imo-colab/olympiads-proof-schema-cleaned
Viewer
•
Updated
7 days ago
•
1.46k
•
50
hf-imo-colab/olympiads-proof-schema-cleaned-rc
Viewer
•
Updated
12 days ago
•
1.46k
•
44
hf-imo-colab/olympiads-proof-schema
Viewer
•
Updated
22 days ago
•
2.25k
•
39
hf-imo-colab/olympiads-proof-benchmark
Viewer
•
Updated
23 days ago
•
140
•
46
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
•
103
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
•
22
•
1
hf-imo-colab/AMO-Bench
Viewer
•
Updated
Oct 31, 2025
•
50
•
5
View 17 datasets