pkuAI4M/Lean_wkbk_formal_only_1119 download history

pkuAI4M/Lean_wkbk_formal_only_1119 is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 7 times (2 in the last 7 days), and 106 times in total. It ranks #677,853 among datasets by monthly downloads.

Open pkuAI4M/Lean_wkbk_formal_only_1119 on Hugging Face

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