Therefore, in order to further validate the prediction, it is necessary to rank several highly confident expression candidates using the representation summarized from the expression's context.
we use beam search to produce top-ranked arithmetic expressions, which are sent back to the network for reranking.