pkuAI4M/extract_mathlib_v4_11_0_validated download history

pkuAI4M/extract_mathlib_v4_11_0_validated is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 3 times (2 in the last 7 days), and 269 times in total. It ranks #899,251 among datasets by monthly downloads.

Open pkuAI4M/extract_mathlib_v4_11_0_validated on Hugging Face

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