theoxo/proofwriter-deduction-balanced
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.
| Author / organization | theoxo |
|---|---|
| License (as declared) | cc-by-4.0 |
| Downloads | 175 (as reported by Hugging Face) |
| Likes | 1 |
| Created | 14 June 2023 |
| Last updated at source | 23 June 2023 |
Popularity, last 2 days
175 now (+1 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.
Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.