Generating Natural Language Proofs with Verifier-Guided Search.
Kaiyu YangJia DengDanqi ChenPublished in: CoRR (2022)
Keyphrases
- natural language
- natural language interface
- semantic analysis
- mathematical proofs
- knowledge representation
- language processing
- multiscale
- machine learning
- dialogue system
- semantic representation
- neural network
- formal proof
- dialog systems
- linguistic analysis
- language understanding
- natural language understanding
- generation process
- social networks
- theorem proving
- theorem prover
- machine translation
- natural language processing
- information extraction
- artificial neural networks