Constrained Bi-Level Optimization: Proximal Lagrangian Value Function Approach and Hessian-free Algorithm - Yao, Wei; Yu, Chengming; Zeng, Shangzhi; Zhang, Jin (International Conference on Learning Representations, 2024)