nlile/

NuminaMath-1.5-proofs-only-strict

A strictly filtered version of the NuminaMath-1.5-proofs-only dataset, containing ONLY validated mathematical proof problems.

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 dataset:… See the full description on the dataset page: https://huggingface.co/datasets/nlile/NuminaMath-1.5-proofs-only-strict.