rlhf-and-friends/proofwriter-mirror

ProofWriter (The Mirror)

A typed, content-faithful mirror of AI2's ProofWriter dataset (release V2020.12.3), derived from proofwriter-source. The JSON encoding is cleaned up: the id-keyed dicts (triple1, Q3, …) become lists of structs that keep their id, every atom representation is parsed into a typed {subject, relation, object, polarity} triple, and the closed enums (answer, strategy) are typed. The content stays faithful — nothing renamed, no rows dropped — and the recursive proof trees stay raw pseudo-Lisp; parsing them into reasoning graphs is a later stage.

Each config is a {world}-{predicate}-{negation}-d{depth} subset of the synthetic core — the four dimensions (owa/cwa × att/rel × noneg/neg × depths 0/1/2/3/5), split train/dev/test.

• —Derived from: proofwriter-source (an unmodified copy of the AI2 release).
• —License: apache-2.0 (inherited from allenai/ruletaker; the release ships no LICENSE file).
• —Not affiliated with or endorsed by AI2; bundled here with attribution.

Citation

ProofWriter — and the RuleTaker corpora it builds on — are AI2's work. Please cite them:

@inproceedings{tafjord-etal-2021-proofwriter,
    title = "{P}roof{W}riter: Generating Implications, Proofs, and Abductive
             Statements over Natural Language",
    author = "Tafjord, Oyvind and Dalvi, Bhavana and Clark, Peter",
    booktitle = "Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021",
    year = "2021",
    eprint = "2012.13048",
    archivePrefix = "arXiv",
}