HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model 19 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

lewtun authored a paper 9 months ago

SmolVLM: Redefining small and efficient multimodal models

View all activity

models 2

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

Text Generation • 4B • Updated about 22 hours ago • 1.47k

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

Text Generation • 4B • Updated 5 days ago • 3.39k • 1

datasets 17

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

Viewer • Updated 16 days ago • 1.46k • 55

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

Viewer • Updated 21 days ago • 1.46k • 69

hf-imo-colab/olympiads-proof-schema

Viewer • Updated about 1 month ago • 2.25k • 20

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated Dec 11, 2025 • 140 • 30

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

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

hf-imo-colab/AMO-Bench

Viewer • Updated Oct 31, 2025 • 50 • 62

View 17 datasets