Multi-Stage Math Formula Search: Using Appearance-Based Similarity Metrics at Scale.

Richard Zanibbi Kenny Davila Andrew Kane Frank Wm. Tompa

Published in: SIGIR (2016)

Keyphrases

multistage
similarity metrics
similarity metric
similarity measure
production system
search algorithm
single stage
stochastic programming
lot sizing
dynamic programming
stochastic optimization
search space
machine learning
optimal policy
semantic information