HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

CohenQu updated a model 1 minute ago

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

CohenQu updated a model 14 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

View all activity

models 2

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

Text Generation • 4B • Updated about 21 hours ago • 4.63k

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

Text Generation • 4B • Updated 15 days ago • 9.29k • 1

datasets 17

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

Viewer • Updated 26 days ago • 1.46k • 37

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

Viewer • Updated about 1 month ago • 1.46k • 42

hf-imo-colab/olympiads-proof-schema

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

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated Dec 11, 2025 • 140 • 23

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

hf-imo-colab/IMOBench-ProofBench

Viewer • Updated Nov 5, 2025 • 60 • 371

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

hf-imo-colab/AMO-Bench

Viewer • Updated Oct 31, 2025 • 50 • 83

View 17 datasets