Inference via Interpolation: Contrastive Representations Provably Enable Planning and Inference - Eysenbach, Benjamin; Myers, Vivek; Salakhutdinov, Ruslan; Levine, Sergey (Advances in Neural Information Processing Systems, 2024)