alexdeath53/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… See the full description on the dataset page: https://huggingface.co/datasets/alexdeath53/proofwriter-mirror.