Bridging RL Theory and Practice with the Effective Horizon - Laidlaw, Cassidy; Russell, Stuart J; Dragan, Anca (Advances in Neural Information Processing Systems, 2023)