ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language.

Oyvind Tafjord Bhavana Dalvi Peter Clark

Published in: ACL/IJCNLP (Findings) (2021)

Keyphrases

natural language
natural language interface
mathematical proofs
natural language generation
natural language processing
semantic analysis
natural language understanding
theorem proving
knowledge representation

machine learning
formal proofs
question answering
semantic representation
semantic interpretation
dialogue system
logic programming
background knowledge

information extraction
abductive reasoning
language processing
theorem prover
multi agent
constraint logic programming
decision procedures
description logics

formal proof
proof procedure
language understanding
artificial intelligence
modal logic
programming language
generation process
data sets