Pradheep1647/lean-repository-midtraining-v1 download history

Pradheep1647/lean-repository-midtraining-v1 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 56 times (8 in the last 7 days), and 115 times in total. It ranks #171,127 among datasets by monthly downloads.

Lean 4 repository midtraining corpus v1 This is a causal language-model corpus curated from pinned Lean 4 repositories. It is intended for repository midtraining after introductory Lean language SFT and before verified proof SFT or verifier-guided RL. The rows contain source text, not

Models trained on lean-repository-midtraining-v1

1 models list it as training data.

Open Pradheep1647/lean-repository-midtraining-v1 on Hugging Face