HF IMO colab

community

AI & ML interests

None defined yet.

Recent Activity

CohenQu updated a dataset 2 days ago

hf-imo-colab/olympiads-proof-benchmark

CohenQu published a dataset 2 days ago

hf-imo-colab/olympiads-proof-benchmark

JasperDekoninck updated a dataset 4 days ago

hf-imo-colab/visualization-sample

View all activity

models 0

None public yet

datasets 9

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated 2 days ago • 145 • 18

hf-imo-colab/visualization-sample

Viewer • Updated 4 days ago • 3 • 22

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

Viewer • Updated 6 days ago • 3.82k • 132

hf-imo-colab/olympiads-proof-schema

Viewer • Updated 6 days ago • 3.85k • 52

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

Viewer • Updated 7 days ago • 3.87k • 28

hf-imo-colab/olympiads-ref-base

Viewer • Updated 7 days ago • 11.8k • 9

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

Viewer • Updated 12 days ago • 30 • 51

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

Viewer • Updated 13 days ago • 30 • 38

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

Viewer • Updated 13 days ago • 30 • 18