proofwriter
proofwriter
Dataset Card for "proofwriter"
More Information needed
proofwriter_processed_OWAproofwriter
Dataset Card for "proofwriter"
More Information needed
proofwriter-source
ProofWriter (The Source)
An unmodified copy of AI2's ProofWriter dataset (release V2020.12.3), re-hosted as datasets
configs for convenient loading. The records are faithful to the upstream release — the id-keyed JSON
is preserved as-is; typing and reasoning-graph extraction happen in later stages.
Each config is a {world}-depth-{n} shelf of the synthetic core (OWA/CWA × depths
0/1/2/3/5), split train/dev/test (dev kept as the corpus names it).
Source:… See the full description on the dataset page: https://huggingface.co/datasets/arqa39/proofwriter-source.proofwriter-deduction-balancedA processed subset of the OWA section of the ProofWriter dataset.
Each train/test split contains 300 entries, each of which has a unique set of theories and a single question for those theories.
Both splits are balanced so that the depth of the proof required to answer the question varies evenly between 0-5 (50 entries each), and the labels are balanced (100 each).
'Unknown' labels have been replaced by 'Uncertain' to match other datasets.
proofwriter-source
ProofWriter (The Source)
An unmodified copy of AI2's ProofWriter dataset (release V2020.12.3), re-hosted as datasets
configs for convenient loading. The records are faithful to the upstream release — the id-keyed JSON
is preserved as-is; typing and reasoning-graph extraction happen in later stages.
Each config is a {world}-depth-{n} shelf of the synthetic core (OWA/CWA × depths
0/1/2/3/5), split train/dev/test (dev kept as the corpus names it).
Source:… See the full description on the dataset page: https://huggingface.co/datasets/rlhf-and-friends/proofwriter-source.