Contextualized Formula Search Using Math Abstract Meaning Representation.

Behrooz Mansouri Douglas W. Oard Richard Zanibbi

Published in: CIKM (2022)

Keyphrases

search algorithm
search space
search strategy
search efficiency
search strategies
machine learning
data sets
knowledge base
solution space
exhaustive search