Pass@K Policy Optimization: Solving Harder Reinforcement Learning Problems - Walder, Christian; Karkhanis, Deep Tejas (Advances in Neural Information Processing Systems, 2025)