HF IMO colab

AI & ML interests

None defined yet.

Recent Activity

lewtun  updated a dataset about 7 hours ago

hf-imo-colab/olympiads-proof-schema

edbeeching  updated a dataset 1 day ago

hf-imo-colab/olympiads-proof-benchmark

edbeeching  updated a dataset 1 day ago

hf-imo-colab/olympiads-proof-benchmark

View all activity

Team members 6