Achieving analogous convex lower-level results with simple constraint sets (balls or boxes)
Establish representation results analogous to the convex-compact semi-algebraic case—namely, characterizing the full class of semi-algebraic lower (or upper) semicontinuous functions bounded on compacts as value functions—when the lower-level feasible set is restricted to simple convex compact sets such as Euclidean balls or boxes, under a convex lower-level objective.
References
We also leave open the possibility of obtaining similar results for simple lower-level constraints set $\cY$ such as balls or boxes.
                — Geometric and computational hardness of bilevel programming
                
                (2407.12372 - Bolte et al., 17 Jul 2024) in Section 2.3, subsubsection “Extension to arbitrary convex, compact, semi-algebraic lower-level constraints”