activity
20242026
collaborators

5 papers

math.OC2026

On Second-Order Methods for Bilevel Optimization

Jiawen Bi, Jiaxiang Li, Mingyi Hong +1

Bilevel optimization is an indispensable modeling tool for modern machine learning and engineering design. However, the theory and practice for finding second order stationary poin…

math.OC2026

A Correspondence-Driven Approach for Bilevel Decision-making with Nonconvex Lower-Level Problems

Xiaotian Jiang, Jiaxiang Li, Jiawen Bi +2

We consider bilevel optimization problems with general nonconvex lower-level objectives and show that the classical hyperfunction-based formulation is unsettled, since the global m…

math.OC2025

On Tackling High-Dimensional Nonconvex Stochastic Optimization via Stochastic First-Order Methods with Non-smooth Proximal Terms and Variance Reduction

Yue Xie, Jiawen Bi, Hongcheng Liu

When the nonconvex problem is complicated by stochasticity, the sample complexity of stochastic first-order methods may depend linearly on the problem dimension, which is undesirab…

math.OC2024

Stochastic First-Order Methods with Non-smooth and Non-Euclidean Proximal Terms for Nonconvex High-Dimensional Stochastic Optimization

Yue Xie, Jiawen Bi, Hongcheng Liu

When the nonconvex problem is complicated by stochasticity, the sample complexity of stochastic first-order methods may depend linearly on the problem dimension, which is undesirab…

cs.LG2024

Deep Learning Evidence for Global Optimality of Gerver's Sofa

Kuangdai Leng, Jia Bi, Jaehoon Cha +2

The Moving Sofa Problem, formally proposed by Leo Moser in 1966, seeks to determine the largest area of a two-dimensional shape that can navigate through an -shaped corridor wit…