In addition to convergence, we also present a result showing the generalization abilities of the bilevel optimizer. The proofs and theorems in this section closely follow those in [1]}, Section 5. However, since our setting is a generalization of their setting, our results hold in more general bilevel optimization problems beyond the meta-learning setup in [1]}.
