ProofWriter

ProofWriter: Generating implications, proofs, and abductive statements over natural language

Data and Resources

Cite this as

Shashank Kirtania, Priyanshu Gupta, Arjun Radhakrishna (2025). Dataset: ProofWriter. https://doi.org/10.57702/rexidrxv

DOI retrieved: January 3, 2025

Additional Info

Field Value
Created January 3, 2025
Last update January 3, 2025
Defined In https://doi.org/10.48550/arXiv.2305.12295
Citation
  • https://doi.org/10.48550/arXiv.2407.02514
Author Shashank Kirtania
More Authors
Priyanshu Gupta
Arjun Radhakrishna
Homepage https://arxiv.org/abs/2201.05957