{"url":"/dataset/proofwriter","name":"ProofWriter","full_name":"ProofWriter","description_markdown":"The ProofWriter dataset contains many small rulebases of facts and rules, expressed in English. Each rulebase also has a set of questions (English statements) which can either be proven true or false using proofs of various depths, or the answer is “Unknown” (in open-world setting, OWA) or assumed negative (in closed-world setting, CWA).\r\n\r\nThe dataset includes full proofs with intermediate conclusions, which models can try to reproduce.\r\n\r\nThe dataset supports various tasks:\r\n\r\n- Given rulebase + question, what is answer + proof (w/intermediates)?\r\n- Given rulebase, what are all the provable implications?\r\n- Given rulebase + question without proof, what single fact can be added to make the question true?\r\n\r\nSource: [Allen AI](https://allenai.org/data/proofwriter)","description_withheld":null,"homepage":"https://allenai.org/data/proofwriter","introduced_date":"2020-12-24","introduced_date_note":null,"introduced_by":{"paper":"/paper/proofwriter-generating-implications-proofs","title":"ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language","first_author":"Oyvind Tafjord","url":null},"license":null,"modalities":[{"name":"Texts","url":"/datasets/modality/texts"}],"tasks":[],"languages":[],"variants":["ProofWriter"],"data_loaders":[],"num_papers_in_archive":80,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}