Deductive Additivity for Planning of Natural Language Proofs.
Zayne SpragueKaj BostromSwarat ChaudhuriGreg DurrettPublished in: CoRR (2023)
Keyphrases
- natural language
- blocks world
- natural language processing
- machine learning
- dialogue system
- planning problems
- heuristic search
- mixed initiative
- knowledge representation
- theorem proving
- explanation based learning
- semantic representation
- plan generation
- decision support
- semantic analysis
- formal proofs
- natural language understanding
- mathematical proofs
- goal oriented
- natural language text
- language processing
- object oriented
- information extraction
- expert systems
- search engine
- artificial intelligence