Natural Language Specifications in Proof Assistants.
Colin S. GordonSergey MatskevichPublished in: CoRR (2022)
Keyphrases
- natural language
- written in natural language
- natural language interface
- mathematical proofs
- formal language
- controlled natural language
- knowledge representation
- delay insensitive
- natural language understanding
- semantic representation
- natural language processing
- information extraction
- dialogue system
- machine translation
- natural language sentences
- high level
- semantic analysis
- specification language
- question answering
- language processing
- neural network
- theorem proving
- natural language generation
- intelligent agents
- logical formulas
- concurrent systems