BilevelJuMP is not able to solve problems with quadratic constraints in the lower level. Hence, for now, the answer is no. However, BilevelJuMP supports Second Order Cone constraints in the lower level, so you might be able to reformulate in some special (convex) cases.
But, as you noticed, there might be hope in the future since the product is between a lower level and upper level variables.
2 Likes