Back to datasets
Dataset assetOpen Source CommunityLogical ReasoningAutomated Theorem Generation
wentingzhao/proofwriter
The proofwriter dataset includes training, validation, and test splits, each with corresponding file paths and statistics. Features include facts, rules, question, answer, depth, length, used_facts, and used_rules.
Source
hugging_face
Created
Nov 28, 2025
Updated
Feb 27, 2024
Signals
178 views
Availability
Linked source ready
Overview
Dataset description and usage context
Dataset Overview
Dataset Configuration
- Default configuration:
- Training set: path is
data/train-* - Validation set: path is
data/validation-* - Test set: path is
data/test-*
- Training set: path is
Dataset Information
Features
- facts: sequence of strings
- rules: sequence of strings
- question: string
- answer: string
- depth: 64‑bit integer
- len: 64‑bit integer
- used_facts: sequence of sequences of strings
- used_rules: sequence of sequences of strings
Data Split
- Training set:
- Bytes: 229 844 873
- Samples: 348 796
- Validation set:
- Bytes: 32 946 645
- Samples: 50 844
- Test set:
- Bytes: 69 869 618
- Samples: 100 450
Dataset Size
- Download size: 19 864 349 bytes
- Dataset size: 332 661 136 bytes
Need downstream help?
Pair the dataset with AI analysis and content workflows.
Once the source passes your review, move straight into summarization, transformation, report drafting, or presentation generation with the JuheAI toolchain.