tcz/ax-prover-mathlib-hyde-4b download history

tcz/ax-prover-mathlib-hyde-4b is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 33 times (7 in the last 7 days), and 169 times in total. It ranks #254,112 among datasets by monthly downloads.

Open tcz/ax-prover-mathlib-hyde-4b on Hugging Face

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