HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model 31 minutes ago

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

edbeeching updated a model about 1 hour ago

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

edbeeching updated a model about 1 hour ago

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

View all activity

models 2

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

Text Generation • 4B • Updated about 1 hour ago • 391

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

Text Generation • 4B • Updated 13 days ago • 1.49k • 1

datasets 17

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

Viewer • Updated 11 days ago • 1.46k • 54

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

Viewer • Updated 16 days ago • 1.46k • 52

hf-imo-colab/olympiads-proof-schema

Viewer • Updated 25 days ago • 2.25k • 40

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated 26 days ago • 140 • 43

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

hf-imo-colab/IMOBench-ProofBench

Viewer • Updated Nov 5, 2025 • 60 • 110

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 • 24 • 1

hf-imo-colab/AMO-Bench

Viewer • Updated Oct 31, 2025 • 50 • 59

View 17 datasets