A Theoretical Analysis of Optimistic Proximal Policy Optimization in Linear Markov Decision Processes - Zhong, Han; Zhang, Tong (Advances in Neural Information Processing Systems, 2023)