Math Information Retrieval with Contrastive Learning of Formula Embeddings.

Jingyi Wang Xuedong Tian

Published in: WISE (2023)

Keyphrases

information retrieval
learning systems
learning process
learning algorithm
online learning
feature selection
learning tasks
reinforcement learning
active learning
knowledge acquisition
learning problems
learning community