proof
qwen3-sft-feedback-with-proof-repairqwen3-sft-feedback-with-proof-repair-rlLoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-i1-GGUFLoGiPT-vicuna-13b-v1.5-16k-proofwriter-i1-GGUFdistilgpt2-proofs-i1-GGUFLoGiPT-vicuna-13b-v1.5-16k-proofwriter-GGUFLoGiPT-CodeLlama-13b-Instruct-hf-proofwriter-GGUFdistilgpt2-proofs-GGUF
Datasets
All datasets matching “proof”proof-pile-2A dataset of high quality mathematical text.proofwriter
Dataset Card for "proofwriter"
More Information needed
proof-bundlesproof-pileA dataset of high quality mathematical text.proofwriter_processed_OWANuminaMath-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 dataset:… See the full description on the dataset page: https://huggingface.co/datasets/nlile/NuminaMath-1.5-proofs-only-strict.