ReactorJet/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.
016
Conversations for this repository live on Hugging Face.
Team Ai shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face