Generating Natural Language Proofs with Verifier-Guided Search.
Kaiyu YangJia DengDanqi ChenPublished in: EMNLP (2022)
Keyphrases
- natural language
- knowledge representation
- machine learning
- theorem proving
- natural language interface
- question answering
- natural language generation
- automatically generating
- natural language processing
- semantic analysis
- language processing
- mathematical proofs
- formal proofs
- cut elimination
- semantic representation
- dialogue system
- genetic algorithm