{"id":"arxiv/2607.17772","url":"https://arxiv.org/abs/2607.17772","tags":["math.OC"],"score":0,"title":"Limiting Stationarity of Regularized Gap-Function Reformulations for Bilevel Optimization with Unbounded Multipliers","domain":"math.OC","source":"arxiv","authors":["Xiaoning Bai","Shangzhi Zeng","Jin Zhang"],"reviews":0,"subject":"math.OC","summary":"Value-function-type reformulations have generated a broad class of methods for bilevel optimization. However, the corresponding value-function-type constraints are inherently degenerate and generally fail to satisfy standard constraint qualifications, so the associated multiplier sequences may be unbounded and bounded-multiplier convergence analyses become inapplicable. We study this issue for the regularized gap-function reformulation of bilevel problems with constrained convex lower-level programs. We prove that accumulation points of approximate stationary sequences are C-stationary for…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-20","reactions":{}}