11 papers
Retraction-Free Optimization over the Stiefel Manifold for the LoRA Fine-Tuning
Yuan Zhang, Jiang Hu, Zhijian Lai +2
Optimization over the Stiefel manifold plays a significant role in various machine learning tasks. Existing methods either use the retraction operators, requiring costly orthonorma…
Restarted Reflected Halpern Acceleration for Augmented Primal-Dual Methods
Benqi Liu, Ju Cao, Wotao Yin +1
We study linearly constrained composite convex optimization with a smooth term and a proximable nonsmooth term. We develop a unified augmented primal-dual framework with primal-dua…
Achieving double-logarithmic precision dependence in optimization-based quantum unstructured search
Zhijian Lai, Dong An, Jiang Hu +1
Grover's algorithm is a fundamental quantum algorithm that achieves a quadratic speedup for unstructured search problems of size . Recent studies have reformulated this task as…
A Grover-compatible manifold optimization algorithm for quantum search
Zhijian Lai, Dong An, Jiang Hu +1
Grover's algorithm is a fundamental quantum algorithm that offers a quadratic speedup for the unstructured search problem by alternately applying physically implementable oracle an…
LMask: Learn to Solve Constrained Routing Problems with Lazy Masking
Tianyou Li, Haijun Zou, Jiayuan Wu +1
Routing problems are canonical combinatorial optimization tasks with wide-ranging applications in logistics, transportation, and supply chain management. However, solving these pro…
Advancing Mathematical Research via Human-AI Interactive Theorem Proving
Chenyi Li, Zhijian Lai, Dong An +2
We investigate how large language models can be used as research tools in scientific computing while preserving mathematical rigor. We propose a human-in-the-loop workflow for inte…