
A processed subset of the OWA section of the [ProofWriter dataset](https://allenai.org/data/proofwriter).
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.

license:cc-by-4.0 region:us
{"license": "cc-by-4.0"}
TAGS
#license-cc-by-4.0 #region-us 


A 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.

TAGS
#license-cc-by-4.0 #region-us 

passage: TAGS
#license-cc-by-4.0 #region-us 
