awhecmu/canonical-drafter-extract-mathlib download history

awhecmu/canonical-drafter-extract-mathlib is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 10 times (2 in the last 7 days), and 171 times in total. It ranks #570,584 among datasets by monthly downloads.

Canonical Drafter — extract data (raw) Ground-truth drafter/premise data lifted from existing Mathlib proofs by Training/ExtractData.lean. This is the raw pool (429303 draft rows, 664445 premise rows from: Mathlib). Every row is a real have / closed subgoal taken from a checked proof,

Open awhecmu/canonical-drafter-extract-mathlib on Hugging Face

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