avewright/proofwiki-math download history

avewright/proofwiki-math is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 62 times (14 in the last 7 days), and 337 times in total. It ranks #160,836 among datasets by monthly downloads.

ProofWiki Math Problems and Solutions This dataset pairs theorem statements (problems) with their formal proofs (solutions) extracted from ProofWiki. Fields Column Description id Stable row identifier title Theorem title problem Theorem statement with wik

Open avewright/proofwiki-math on Hugging Face

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