tcz/antiquabench download history

tcz/antiquabench is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 20 times (3 in the last 7 days), and 151 times in total. It ranks #374,650 among datasets by monthly downloads.

AntiquaBench 100 problems of historical mathematics, 1800 BCE to 1905 CE, formalized in Lean 4. Would a Babylonian scribe computing field areas on a clay tablet could even have imagined, that his work would be done by machines some 4000 years later? How about a Han-dynasty clerk split

Open tcz/antiquabench on Hugging Face

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