Release miniF2F-rocq on Hugging Face

[NielsRogge]

Hi @LLM4Rocq 🤗

I'm Niels and work as part of the open-source team at Hugging Face. I discovered your work on Arxiv and was wondering whether you would like to submit it to hf.co/papers to improve its discoverability.If you are one of the authors, you can submit it at https://huggingface.co/papers/submit.

The paper page lets people discuss about your paper and lets them find artifacts about it (your dataset 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.

Would you like to host the dataset you've released on https://huggingface.co/datasets?
It would be great to make the dataset available on the 🤗 hub, to improve their discoverability/visibility, and allow people to 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.

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

Cheers,

Niels
ML Engineer @ HF 🤗

[JulesViennotFranca]

Hi Niels,

That's a great idea! It would be super nice to have our dataset accessible from the HuggingFace platform. We would also like to share the paper on HuggingFace so that people can discuss about it.

However, we don't really know how to do this, so any guidance would be greatly appreciated.

Have a nice day,
The LLM4Rocq Team

[NielsRogge]

Great! So the first thing you can do is submit it at https://huggingface.co/papers/submit, assuming you have a HF account. Next you can also link the Github and/or project page URLs.

After that, the dataset can be uploaded by following https://huggingface.co/docs/datasets/en/loading. It can be pushed to the hub by doing dataset.push_to_hub.

Finally, the dataset can be linked to the paper page by adding the paper URL in the dataset card, which is a description of the dataset.

[JulesViennotFranca]

Hello @NielsRogge, I tried adding the paper to HF but I can't because I don't have another paper on HF, is there a way around so I can post the paper?

[NielsRogge]

Yes that's a security feature to prevent anyone from submitting. I've indexed your first paper on HF here: https://huggingface.co/papers/2503.04763. Feel free to claim it with your HF account.

Next, we could look into making the dataset available on the hub and linking it to the paper page.

[JulesViennotFranca]

Thank you! The dataset is already available, we just have to link it with the paper then.

[NielsRogge]

Could you link the dataset? Don't seem to find it in the README