Out-Of-Distribution Detection with Diversification (Provably)