Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text.
Deborah FerreiraAndré FreitasPublished in: LREC (2020)
Keyphrases
- natural language
- natural language generation
- text generation
- natural language text
- semantic representation
- linguistic analysis
- natural language descriptions
- knowledge representation
- syntactic structures
- natural language interface
- natural language sentences
- semantic markup
- natural language processing
- human language
- domain dependent
- mathematical formulas
- machine learning
- free text
- text retrieval
- information extraction
- selection strategy
- semantic analysis
- selection algorithm
- machine translation
- text mining
- information retrieval
- language processing
- natural language understanding
- textual data
- mathematical proofs
- database