AkameV6p5/lean4-cot-3k download history

AkameV6p5/lean4-cot-3k is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 16 times (4 in the last 7 days), and 82 times in total. It ranks #433,426 among datasets by monthly downloads.

Open AkameV6p5/lean4-cot-3k on Hugging Face

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