ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language.
Oyvind TafjordBhavana DalviPeter ClarkPublished 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