Premise Selection in Natural Language Mathematical Texts.
Deborah FerreiraAndré FreitasPublished in: ACL (2020)
Keyphrases
- natural language
- natural language generation
- natural language text
- knowledge representation
- text generation
- syntactic structures
- natural language processing
- semantic analysis
- keywords
- natural language interface
- semantic interpretation
- semantic representation
- digital libraries
- linguistic analysis
- syntactic analysis
- mathematical expressions
- mathematical proofs
- language processing
- dialogue system
- data sets
- machine translation
- text documents
- text classification
- information extraction
- similarity measure