Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

HF IMO colab

Team
community
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

edbeeching  updated a model 4 minutes ago
hf-imo-colab/Qwen3-4B-Thinking-2507-SFT
lewtun  updated a model 22 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
View all activity

Lewis Tunstall's profile picture Edward Beeching's profile picture Jasper's profile picture Ian Wu's profile picture Yuxiao Qu's profile picture Amrith Setlur's profile picture Aviral Kumar's profile picture

models 2

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

Text Generation • 4B • Updated 4 minutes ago • 497

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

Text Generation • 4B • Updated 1 day ago • 1.81k • 1

datasets 17

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

Viewer • Updated 12 days ago • 1.46k • 54

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

Viewer • Updated 17 days ago • 1.46k • 54

hf-imo-colab/olympiads-proof-schema

Viewer • Updated 27 days ago • 2.25k • 40

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated 28 days ago • 140 • 40

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

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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs