Efficient Safe Meta-Reinforcement Learning: Provable Near-Optimality and Anytime Safety - Xu, Siyuan; Zhu, Minghui (Advances in Neural Information Processing Systems, 2025)