{"id":"arxiv/2605.11476","url":"https://arxiv.org/abs/2605.11476","tags":["math.OC","stat.ML"],"score":0,"title":"A Barrier-Metric First-Order Method for Linearly Constrained Bilevel Optimization","domain":"math.OC","source":"arxiv","authors":["Tenglong Hong","Paul Grigas"],"reviews":0,"subject":"math.OC","summary":"We study bilevel optimization with a fixed polyhedral lower feasible set. Such problems are challenging for two reasons: active-set changes can make the upper objective nonsmooth, and existing hypergradient methods typically require lower-Hessian inversions or equivalent linear solves, which are computationally expensive. To address these issues, we adopt a logarithmic barrier smoothing of the lower problem to obtain a differentiable approximation of the constrained bilevel objective, and develop a proxy-gradient algorithm for the resulting barrier-smoothed surrogate. The algorithm uses only…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-12","reactions":{}}