Graph-based Nearest Neighbor Search: From Practice to Theory. - Liudmila Prokhorenkova; Aleksandr Shekhovtsov (ICML, 2020)