KDD 2020 - Semantic Search in Millions of Equations

SIGKDD_2020