license:cc-by-4.0 region:us
---
license: cc-by-4.0
---

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.
