ProofWiki Math: Theorem Statements and Formal Proofs

ProofWiki Math Problems and Solutions pairs theorem statements with their formal proofs extracted from the ProofWiki knowledge base. The dataset includes raw MediaWiki wikitext alongside resolved text for both problems and solutions. It was created by user 'avewright' and last updated on 2026-06-19.

Use Cases

• Train models for automated theorem proving based on formal proof text.
• Develop mathematical question-answering systems using theorem statements as problems.
• Fine-tune language models on structured mathematical reasoning using the proof text.
• Study the structure of formal mathematical arguments based on the proof text.
• Extract knowledge graphs of mathematical concepts using the resolved wikilinks.

Strengths

• Pairs theorem statements with corresponding formal proofs, providing structured training data.
• Includes both raw MediaWiki wikitext and resolved text versions for flexibility.
• Last updated on 2026-06-19, suggesting potential maintenance.

Limitations

• Row count is unknown, which may limit suitability assessment.
• Column-level documentation is absent; field semantics must be inferred after download.
• Data may reflect the specific coverage and formalization style bias inherent to ProofWiki.

Provenance

Source

ProofWiki knowledge base.

Collection Method

Extracted from ProofWiki.

Freshness

Last updated 2026-06-19 15:08:08.