nlile/NuminaMath-1.5-proofs-only-strict
NuminaMath-1.5-proofs-only-strict A strictly filtered version of the NuminaMath-1.5-proofs-only dataset, containing ONLY validated mathematical proof problems. π Filtering Results Original dataset: Numina1.5 -> filter for proofs -> 110,998 rows Filters applied: β Kept rows where answer = "proof" (proof problems only) β Kept rows where solution_is_valid = "Yes" β Kept rows where problem_is_valid = "Yes" β Dropped validation columns after filtering Filteredβ¦ See the full description on the dataset page: https://huggingface.co/datasets/nlile/NuminaMath-1.5-proofs-only-strict.
| Author / organization | nlile |
|---|---|
| Downloads | 3.4K (as reported by Hugging Face) |
| Likes | 1 |
| Created | 11 July 2025 |
| Last updated at source | 11 July 2025 |
Popularity, last 3 days
3,376 now. Counts as reported by the source, snapshotted daily by Silytics.
Recent changes
- 17 Oct 2026 Description: NuminaMath-1.5-proofs-only-strict A strictly filtered version of the NuminaMath-1.5-proofs-only dataset, containing ONLY validated mathematical proof problems. π Filtering Results Original dataset: Numina1.5 -> filter for proofs -> 110,998 β NuminaMath-1.5-proofs-only-strict A strictly filtered version of the NuminaMath-1.5-proofs-only dataset, containing ONLY validated mathematical proof problems. π Filtering Results Original dataset: Numina1.5 -> filter for proofs -> 110,998
Changes detected by Silytics between refreshes of the source.
More from nlile
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 18 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.