Provably Efficient Exploration for Reinforcement Learning Using Unsupervised Learning - Feng, Fei; Wang, Ruosong; Yin, Wotao; Du, Simon; Yang, Lin (Advances in Neural Information Processing Systems, 2020)