HF IMO colab

Team

community

AI & ML interests

None defined yet.

Recent Activity

edbeeching updated a dataset about 19 hours ago

hf-imo-colab/olympiads-proof-benchmark

edbeeching updated a dataset about 19 hours ago

hf-imo-colab/olympiads-proof-benchmark

lewtun authored a paper 7 months ago

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

View all activity

models 0

None public yet

datasets 14

hf-imo-colab/olympiads-proof-benchmark

Viewer • Updated about 19 hours ago • 140 • 180

hf-imo-colab/DeepScaleR-Preview-Dataset

Viewer • Updated 28 days ago • 40.3k • 19

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

Viewer • Updated about 1 month ago • 6 • 47

hf-imo-colab/olympiads-proof-schema

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

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

Viewer • Updated Nov 4 • 3.46k • 35

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

Viewer • Updated Nov 4 • 3.37k • 70

hf-imo-colab/AMO-Bench

Viewer • Updated Oct 31 • 50 • 31

hf-imo-colab/visualization-sample

Viewer • Updated Oct 25 • 3 • 50

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

Viewer • Updated Oct 24 • 3.82k • 370

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

Viewer • Updated Oct 23 • 3.87k • 53

View 14 datasets