hoskinson-center/proofnet download history
hoskinson-center/proofnet is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 713 times (141 in the last 7 days), and 16,640 times in total. It ranks #24,995 among datasets by monthly downloads.
A dataset that evaluates formally proving and autoformalizing undergraduate mathematics.
Models trained on proofnet
7 models list it as training data.
- purewhite42/rautoformalizer_nora_deepseek 41 downloads in 30 days
- purewhite42/rautoformalizer_gtra_deepseek 25 downloads in 30 days
- purewhite42/rautoformalizer_nora_internlm 23 downloads in 30 days
- purewhite42/rautoformalizer_gtra_internlm 22 downloads in 30 days
- purewhite42/rautoformalizer_ra_internlm 16 downloads in 30 days
- purewhite42/rautoformalizer_ra_deepseek 15 downloads in 30 days
- SUMMERZETT/gemma-2-2b-proofnet-finetuned – downloads in 30 days