Abstract This article studies Gauss–Newton-type methods for over-determined systems to find solutions bilevel programming problems. To proceed, we use the lower-level value function reformulation of programs and consider necessary optimality conditions under appropriate assumptions. First, strict complementarity upper- feasibility constraints, prove convergence a method in computing points sati...