viai957/lean-prover-data
Lean 4 prover data (work in progress) Working data from an open post-training project for an 8B Lean 4 prover, starting from Goedel-Prover-V2-8B (code: https://huggingface.co/viai957/align). Snapshot of 2026-10-19, taken mid Phase 0. Not a finished release. Toolchain: Lean 4.9.0-rc1, Mathlib d1d1e4b7. Verifier: frozen strict verifier, hash f1dd9e7871ade3a9dd37587c10a7a17025fe8623a735455ec40206607e120b5c. Layout supply/: statement supply. supply_v1.jsonl: 111,016… See the full description on the dataset page: https://huggingface.co/datasets/viai957/lean-prover-data.
| Author / organization | viai957 |
|---|---|
| License (as declared) | cc-by-sa-4.0 |
| Downloads | 0 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 20 October 2026 |
| Last updated at source | 20 October 2026 |
More from viai957
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 20 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.