The KKT reformulation is widely recognized as a prominent approach for analyzing bilevel optimization problems, especially in the case of convex lower-level problems. This paper focuses on exploring ...