mjbommar/openlemma-v0.4-pretrain
OpenLemma v0.4: pretraining documents (v0.4.1) Two families of verified procedural and reasoning documents from OpenLemma v0.4. Every document here is one the ALEA R3 model trains on in its stable phase, token for token, with the same filters. Everything is generated and checked by code; no language model wrote any of it. config documents ALEA tokens passes share of the stable mix what ol_single 1,482,879 91,954,045 2.86 0.80% one verified exercise per document… See the full description on the dataset page: https://huggingface.co/datasets/mjbommar/openlemma-v0.4-pretrain.
| Author / organization | mjbommar |
|---|---|
| License (as declared) | cc-by-4.0 |
| Downloads | 146 (as reported by Hugging Face) |
| Likes | 0 |
| Created | 12 October 2026 |
| Last updated at source | 12 October 2026 |
Popularity, last 5 days
146 now (+2 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
More from mjbommar
- mjbommar/SHELFDataset
- mjbommar/opengloss-v1.3-definitionsDataset
- mjbommar/binary-30k-tokenizedDataset
- mjbommar/opengloss-v2.4-retrieval-pairsDataset
- mjbommar/opengloss-instructDataset
- mjbommar/binary-30kDataset
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.