Semantification of Identifiers in Mathematics for Better Math Information Retrieval.
Moritz SchubotzAlexey GrigorevMarcus LeichHoward S. CohlNorman MeuschkeBela GippAbdou S. YoussefVolker MarklPublished in: SIGIR (2016)
Keyphrases
- information retrieval
- source code
- information retrieval systems
- search engine
- mathematics learning
- middle school mathematics
- grade students
- tutoring system
- learning to rank
- query expansion
- language model
- text mining
- document collections
- question answering
- retrieval model
- mathematical knowledge
- mathematical problem solving
- web search
- retrieval effectiveness
- language modeling
- computer science
- information filtering
- language processing
- similarity measure
- e learning
- neural network