rlhf-and-friends/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.
Conversations for this repository live on Hugging Face.
CoolFace 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