HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a model 11 minutes ago

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

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

hf-imo-colab 's datasets 17

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

Viewer • Updated 9 days ago • 1.46k • 51

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

Viewer • Updated 13 days ago • 1.46k • 44

hf-imo-colab/olympiads-proof-schema

Viewer • Updated 23 days ago • 2.25k • 40

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated 24 days ago • 140 • 46

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

hf-imo-colab/IMOBench-ProofBench

Viewer • Updated Nov 5, 2025 • 60 • 102

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

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

hf-imo-colab/olympiads-ref-base-math-word

Viewer • Updated Nov 4, 2025 • 3.37k • 22 • 1

hf-imo-colab/AMO-Bench

Viewer • Updated Oct 31, 2025 • 50 • 5

hf-imo-colab/visualization-sample

Viewer • Updated Oct 25, 2025 • 3 • 6

hf-imo-colab/olympiads-ref-base-proof-schema

Viewer • Updated Oct 24, 2025 • 3.82k • 81

hf-imo-colab/olympiads-ref-base-proof

Viewer • Updated Oct 23, 2025 • 3.87k • 10

hf-imo-colab/olympiads-ref-base

Viewer • Updated Oct 23, 2025 • 11.8k • 16

hf-imo-colab/imo2025-gpt-oss-eval

Viewer • Updated Oct 17, 2025 • 30 • 15

hf-imo-colab/imo2025-gpt-oss-gen_merged

Viewer • Updated Oct 17, 2025 • 30 • 14

hf-imo-colab/imo2025-gpt-oss-gen

Viewer • Updated Oct 17, 2025 • 30 • 20