HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model 36 minutes ago

hf-imo-colab/Qwen3-4B-Thinking-2507-Proof

CohenQu updated a model about 5 hours ago

hf-imo-colab/Qwen3-4B-Thinking-2507-Proof

ars22 updated a model about 6 hours ago

hf-imo-colab/Qwen3-4B-Thinking-2507-Proof

View all activity

models 2

hf-imo-colab/Qwen3-4B-Thinking-2507-SFT

Text Generation • 4B • Updated 4 days ago • 2.74k

hf-imo-colab/Qwen3-4B-Thinking-2507-Proof

Text Generation • 4B • Updated 12 days ago • 7.64k • 1

datasets 17

hf-imo-colab/olympiads-proof-schema-cleaned

Viewer • Updated 23 days ago • 1.46k • 38

hf-imo-colab/olympiads-proof-schema-cleaned-rc

Viewer • Updated 28 days ago • 1.46k • 73

hf-imo-colab/olympiads-proof-schema

Viewer • Updated Dec 12, 2025 • 2.25k • 15

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated Dec 11, 2025 • 140 • 14

hf-imo-colab/DeepScaleR-Preview-Dataset

Viewer • Updated Nov 14, 2025 • 40.3k • 9

hf-imo-colab/olympiads-proof-schema-benchmark

Viewer • Updated Nov 11, 2025 • 6 • 13

hf-imo-colab/IMOBench-ProofBench

Viewer • Updated Nov 5, 2025 • 60 • 264

hf-imo-colab/olympiads-ref-base-exact-matching

Viewer • Updated Nov 4, 2025 • 3.46k • 23

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 • 82

View 17 datasets