Explorations into the Use of Word Embedding in Math Search and Math Semantics.

Abdou Youssef Bruce R. Miller

Published in: CICM (2019)

Keyphrases

search algorithm
tutoring system
mathematical problem solving
search efficiency
search strategies
formal semantics
keywords
search space
information extraction
semantic information
bit parallel