humanfia-lab/lean-eval-source download history

humanfia-lab/lean-eval-source is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 2,418 times (188 in the last 7 days), and 3,459 times in total. It ranks #9,784 among datasets by monthly downloads.

Lean Eval Humanize Source A reproducible snapshot of 226 self-contained Lean Eval workspaces attempted with the Humanize workflow. Each workspace contains the trusted problem files, the best available Humanize submission snapshot, and any submission helper modules. The snapshot contai

Open humanfia-lab/lean-eval-source on Hugging Face

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