Riemannian Bilevel Optimization (Journal of Machine Learning Research, 2026)