Author

Zai-Wen Wen

h-index 4 View on Semantic Scholar

We have 3 of 23 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Open access Dec 2025

A Human-AI Collaborative Workflow for Mathematical Discovery: A Case Study in Grover-Compatible Riemannian Optimization

This work proposes a human-in-the-loop workflow for interactive theorem proving and discovery with LLMs, which retains control over problem formulation and assumptions, while the model searches for proofs or contradictions, proposes candidate properties and theorems, and helps construct structures and parameters that s...

Chen-Yi Li, Zhi-Jian Lai, Dong An et al. · Journal of Scientific Comput... · 4 citations

Review Open access Aug 2026

The Augmented Lagrangian Methods: Overview and Recent Advances

A unified and comprehensive perspective on constructing augmented Lagrangian functions (based on the Hestenes–Powell–Rockafellar augmented Lagrangian) for various optimization problems, including nonlinear programming and convex and nonconvex composite programming.

Kangkang Deng, Rui Wang, Zhen-Yuan Zhu et al. · SIAM Review · 0 citations

Preprint Aug 2026

A Fixed-Penalty Linearized Augmented Lagrangian Method with Classical Multiplier Updates

This work proposes a nonlinear-residual linearized augmented Lagrangian method (NR-LALM) that replaces this subproblem by a regularized Gauss-Newton-type step while retaining the classical multiplier update based on the nonlinear constraint residual.

Ben-Qi Liu, Kangkang Deng, Zichen Wang et al. · 0 citations