Hi @stefan-aws 🤗
Niels here from the open-source team at Hugging Face. I discovered your work on Arxiv, "MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification", 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.
It'd be great to make your miniF2F-Dafny dataset available on the 🤗 hub, to improve its discoverability/visibility. We can add tags so that people find it when filtering https://huggingface.co/datasets. Currently, your dataset is hosted on GitHub, but hosting on Hugging Face will provide a dedicated platform for datasets, making it easier for researchers to discover and use your work, and allowing 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. After upload, 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/need any help regarding this!
Cheers,
Niels
ML Engineer @ HF 🤗
Hi @stefan-aws 🤗
Niels here from the open-source team at Hugging Face. I discovered your work on Arxiv, "MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification", 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.
It'd be great to make your
miniF2F-Dafnydataset available on the 🤗 hub, to improve its discoverability/visibility. We can add tags so that people find it when filtering https://huggingface.co/datasets. Currently, your dataset is hosted on GitHub, but hosting on Hugging Face will provide a dedicated platform for datasets, making it easier for researchers to discover and use your work, and allowing people to 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 upload, 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/need any help regarding this!
Cheers,
Niels
ML Engineer @ HF 🤗