ricdomolm/numinamath-LEAN-trajs-850k download history

ricdomolm/numinamath-LEAN-trajs-850k is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 46 times (13 in the last 7 days), and 1,123 times in total. It ranks #197,310 among datasets by monthly downloads.

Open ricdomolm/numinamath-LEAN-trajs-850k on Hugging Face

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