Release IMO-Bench datasets on Hugging Face

[NielsRogge]

Hi @dawsenhwang (and the Google DeepMind Superhuman Reasoning team) 🤗

Niels here from the open-source team at Hugging Face. I discovered your work through Hugging Face's daily papers as yours got featured: https://huggingface.co/papers/2511.01846.
The paper page lets people discuss about your paper and lets them find artifacts about it (your datasets for instance), you can also claim
the paper as yours which will show up on your public profile at HF, add Github and project page URLs.

It'd be great to make the IMO-Bench datasets (IMO-AnswerBench, IMO-ProofBench, and IMO-GradingBench) available on the 🤗 hub, to improve their discoverability/visibility.
We can add tags so that people find them when filtering https://huggingface.co/datasets.

Would be awesome to make the datasets available on 🤗 , so that people can do:

from datasets import load_dataset

dataset = load_dataset("your-hf-org-or-username/your-dataset")

See here for a guide: https://huggingface.co/docs/datasets/loading.

Besides that, there's the dataset viewer which allows people to quickly explore the first few rows of the data in the browser.

After uploaded, we can also link the datasets to the paper page (read here) so people can discover your work.

Let me know if you're interested/need any help regarding this!

Cheers,

Niels
ML Engineer @ HF 🤗

[hwilner]

Hi @NielsRogge and @dawsenhwang,

I've uploaded all three IMO-Bench datasets to Hugging Face as requested:

• IMO-AnswerBench: https://huggingface.co/datasets/Hwilner/imo-answerbench
• IMO-ProofBench: https://huggingface.co/datasets/Hwilner/imo-proofbench
• IMO-GradingBench: https://huggingface.co/datasets/Hwilner/imo-gradingbench

All datasets are now publicly available and can be loaded with:

from datasets import load_dataset

answerbench = load_dataset("Hwilner/imo-answerbench")
proofbench = load_dataset("Hwilner/imo-proofbench")
gradingbench = load_dataset("Hwilner/imo-gradingbench")

Each dataset includes a comprehensive README with:

• Dataset description and structure
• Usage examples
• Citation information
• Licensing details (CC-BY-4.0)

The dataset viewer is working correctly for all three datasets, allowing users to explore the data directly in the browser.

Feel free to fork these to an official Google DeepMind organization account if you'd like, or let me know if you need any modifications!

[NielsRogge]

Very cool! Would be nice to have them at https://huggingface.co/google indeed :)

Also could you mention https://huggingface.co/papers/2511.01846 in the dataset cards? This way they will automatically show up on the paper page.

[hwilner]

Thanks @NielsRogge!

I've updated all three dataset cards to include the paper link (https://huggingface.co/papers/2511.01846). The datasets should now automatically show up on the paper page.

Regarding moving them to https://huggingface.co/google - that would require someone from the Google DeepMind team with access to the official organization. @dawsenhwang or another team member could either:

1. Fork these datasets to the google organization
2. Grant me access to upload directly to google/imo-answerbench, google/imo-proofbench, and google/imo-gradingbench

I'm happy to help with the transfer process if needed!