ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language.
Oyvind TafjordBhavana Dalvi MishraPeter ClarkPublished in: CoRR (2020)
Keyphrases
- natural language
- natural language interface
- semantic analysis
- mathematical proofs
- language processing
- natural language understanding
- natural language processing
- question answering
- dialogue system
- abductive reasoning
- machine learning
- theorem prover
- semantic representation
- theorem proving
- natural language generation
- information extraction
- machine translation
- explanation based learning
- semantic interpretation
- formal proofs
- abductive logic programming
- generation process
- databases
- logic programming
- automatically generating
- decision procedures
- website
- information systems
- natural deduction
- maximum entropy models