ProofSolver-1300: 1,310 Mathematical Proof Problems with Reasoning Traces

ProofSolver-1300 is a collection of 1,310 mathematical proof problems. Each example pairs a statement to prove with a detailed reasoning trace and a clean final proof. The dataset was created by WilhelmH and last updated on Hugging Face in June 2026.

Use Cases

• Training language models for mathematical reasoning based on the step-by-step traces.
• Evaluating model performance on proof generation tasks based on the paired statements and proofs.
• Fine-tuning models for educational applications based on the structured proof problems.

Strengths

• Contains 1,310 distinct mathematical proof problems.
• Each problem includes a detailed reasoning trace and a final proof, providing structured training data.
• Explicitly designed for training and evaluating models on proof writing.

Limitations

• Column-level documentation is absent; field semantics must be inferred after download.
• Row count is known (1,310), but file formats and specific data structure are unknown.
• Description metadata is limited; actual data quality requires manual inspection after download.

Provenance

Source

WilhelmH on Hugging Face

Collection Method

Collection of mathematical proof problems; specific gathering method is not detailed.

Time Range

null

Freshness

Last updated 2026-06-03 18:22:43; freshness should be verified.

Geography

null