Hi @Vilin97 馃
I'm Niels and work as part of the open-source team at Hugging Face. I discovered your work through Hugging Face Daily Papers: https://huggingface.co/papers/2609.25199
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 Lean Pool dataset on https://huggingface.co/datasets?
Lean Pool is a fascinating and valuable resource for the formal mathematics and AI reasoning community. Hosting it on Hugging Face will give it more visibility, enable better discoverability, and make it easier for others to explore and use the formalizations.
If you're down, we can upload the dataset to the Hub so that people can do:
from datasets import load_dataset
dataset = load_dataset("Vilin97/lean-pool")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 uploading, we can also link the dataset to the paper page (read here) so people can discover your work.
Let me know if you're interested or need any guidance!
Kind regards,
Niels
ML Engineer @ HF 馃
Hi @Vilin97 馃
I'm Niels and work as part of the open-source team at Hugging Face. I discovered your work through Hugging Face Daily Papers: https://huggingface.co/papers/2609.25199
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 Lean Pool dataset on https://huggingface.co/datasets?
Lean Pool is a fascinating and valuable resource for the formal mathematics and AI reasoning community. Hosting it on Hugging Face will give it more visibility, enable better discoverability, and make it easier for others to explore and use the formalizations.
If you're down, we can upload the dataset to the Hub so that people can do:
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 uploading, we can also link the dataset to the paper page (read here) so people can discover your work.
Let me know if you're interested or need any guidance!
Kind regards,
Niels
ML Engineer @ HF 馃