KDD 2020 - Semantic Search in Millions of Equations