Pradheep1647/lean-verifier-formalizations download history

Pradheep1647/lean-verifier-formalizations is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 652 times (191 in the last 7 days), and 830 times in total. It ranks #26,827 among datasets by monthly downloads.

Lean Verifier Formalizations A dataset of Lean 4 theorem-proving tasks for evaluating agentic coding harnesses. Each row pairs a formal task_statement (with the reference proof body removed) against a real Lean 4 repository, plus the informal_excerpt/informal_source_text describing wh

Open Pradheep1647/lean-verifier-formalizations on Hugging Face