awhecmu/canonical-drafter-rollout-gemini3flash download history

awhecmu/canonical-drafter-rollout-gemini3flash is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 20 times (2 in the last 7 days), and 435 times in total. It ranks #374,650 among datasets by monthly downloads.

Canonical Drafter — rollout data (raw) Raw rollout output from the Canonical drafting pipeline over Mathlib, generated with gemini-3-flash-preview. This is the unfiltered pool (92300 draft rows, 40605 premise rows from run(s): oracle_tactics_gemini3flash); apply the filters below to o

Open awhecmu/canonical-drafter-rollout-gemini3flash on Hugging Face

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