Contextualized formula search using math abstract meaning representation

摘要: In math formula search, relevance is determined not only by the similarity of formulas in isolation, but also by their surrounding context. We introduce MathAMR, a new unified …