yangzhch6/DeepInformal-DeepTheorem-Synthetic download history

yangzhch6/DeepInformal-DeepTheorem-Synthetic is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 62 times (5 in the last 7 days), and 512 times in total. It ranks #160,836 among datasets by monthly downloads.

Open yangzhch6/DeepInformal-DeepTheorem-Synthetic on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.