Natural Language Premise Selection: Finding Supporting Statements for Mathematical Text.
Deborah FerreiraAndré FreitasPublished in: CoRR (2020)
Keyphrases
- natural language
- natural language generation
- natural language text
- text generation
- linguistic analysis
- semantic representation
- semantic markup
- semantic analysis
- natural language descriptions
- machine learning
- natural language processing
- text mining
- knowledge representation
- information extraction
- database
- natural language sentences
- text retrieval
- dialogue system
- domain dependent
- natural language interface
- syntactic structures
- decision support
- language processing
- mathematical proofs
- string matching
- automatically extracted
- natural language understanding
- selection algorithm
- information retrieval
- free text
- question answering
- mathematical formulas