Inference via Interpolation: Contrastive Representations Provably Enable Planning and Inference. - Eysenbach, Benjamin; Myers, Vivek; Salakhutdinov, Ruslan; Levine, Sergey (CoRR, 2024)