{"id":"arxiv/2605.09209","url":"https://arxiv.org/abs/2605.09209","tags":["math.OC","cs.AI"],"score":0,"title":"Select-then-differentiate: Solving Bilevel Optimization with Manifold Lower-level Solution Sets","domain":"math.OC","source":"arxiv","authors":["Saeed Masiha","Zebang Shen","Negar Kiyavash","Niao He"],"reviews":0,"subject":"math.OC","summary":"We study optimistic bilevel optimization when the lower-level problem has a non-isolated manifold of minimizers. In this setting, the hyper-objective may be non-differentiable because the upper-level criterion must choose among multiple lower-level solutions. Under a local Polyak--Łojasiewicz (PŁ) condition, we show that differentiability does not require the lower-level solution set to be a singleton: uniqueness of the optimistic selection is sufficient. This yields an explicit pseudoinverse-based hyper-gradient formula extending the classical singleton-minimizer result. We further…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-09","reactions":{}}