Zaiwen Wen - RankMe

102 papers A* 8A 2Misc 2Journal 89Unranked 1

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Learning Method with Gap-Aware Generation for Heterogeneous DAG Scheduling. CoRR Ruisong Zhou, Haijun Zou, Li Zhou, Chumin Sun, Zaiwen Wen
2026	J	`jnl`	Accelerating LLM Pre-Training through Flat-Direction Dynamics Enhancement. CoRR Shuchen Zhu, Rizhen Hu, Mingze Wang, Mou Sun, Xue Wang, Kun Yuan, Zaiwen Wen
2026	J	`jnl`	Constructing Industrial-Scale Optimization Modeling Benchmark. CoRR Zhong Li, Hongliang Lu, Tao Wei, Wenyu Liu, Yuxuan Chen, Yuan Lan, Fan Zhang, Zaiwen Wen
2026	J	`jnl`	Construction-Verification: A Benchmark for Applied Mathematics in Lean 4. CoRR Bowen Yang, Yi Yuan, Chenyi Li, Ziyu Wang, Liangqi Li, Bo Zhang, Zhe Li, Zaiwen Wen
2026	J	`jnl`	M2F: Automated Formalization of Mathematical Literature at Scale. CoRR Zichen Wang, Wanli Ma, Zhenyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen
2026	A*	`conf`	SITA: A Framework for Structure-to-Instance Theorem Autoformalization. AAAI Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen
2025	A*	`conf`	A Memory Efficient Randomized Subspace Optimization Method for Training Large Language Models. ICML Yiming Chen, Yuan Zhang, Yin Liu, Kun Yuan, Zaiwen Wen
2025	J	`jnl`	A Memory Efficient Randomized Subspace Optimization Method for Training Large Language Models. CoRR Yiming Chen, Yuan Zhang, Yin Liu, Kun Yuan, Zaiwen Wen
2025	J	`jnl`	Accelerating Optimization via Differentiable Stopping Time. CoRR Zhonglin Xie, Yiman Fong, Haoran Yuan, Zaiwen Wen
2025	J	`jnl`	Advancing Mathematical Research via Human-AI Interactive Theorem Proving. CoRR Chenyi Li, Zhijian Lai, Dong An, Jiang Hu, Zaiwen Wen
2025	J	`jnl`	An Augmented Lagrangian Primal-Dual Semismooth Newton Method for Multi-Block Composite Optimization. J. Sci. Comput. Zhanwang Deng, Kangkang Deng, Jiang Hu, Zaiwen Wen
2025	A*	`conf`	Enhancing Zeroth-order Fine-tuning for Language Models with Low-rank Structures. ICLR Yiming Chen, Yuan Zhang, Liyuan Cao, Kun Yuan, Zaiwen Wen
2025	J	`jnl`	Formalization of Convergence Rates of Four First-order Algorithms for Convex Optimization. J. Autom. Reason. Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen
2025	J	`jnl`	LMask: Learn to Solve Constrained Routing Problems with Lazy Masking. CoRR Tianyou Li, Haijun Zou, Jiayuan Wu, Zaiwen Wen
2025	J	`jnl`	Non-Asymptotic Global Convergence of PPO-Clip. CoRR Yin Liu, Qiming Dai, Junyu Zhang, Zaiwen Wen
2025	J	`jnl`	Numerical Optimization for Tensor Disentanglement. CoRR Julia Wei, Alec Dektor, Chungen Shen, Zaiwen Wen, Chao Yang
2025	J	`jnl`	On the Analysis of Semismooth Newton-Type Methods for Composite Optimization. J. Sci. Comput. Jiang Hu, Tonghua Tian, Shaohua Pan, Zaiwen Wen
2025	A*	`conf`	OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modeling. ICML Hongliang Lu, Zhonglin Xie, Yaoyu Wu, Can Ren, Yuxuan Chen, Zaiwen Wen
2025	J	`jnl`	OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modeling. CoRR Hongliang Lu, Zhonglin Xie, Yaoyu Wu, Can Ren, Yuxuan Chen, Zaiwen Wen
2025	J	`jnl`	SITA: A Framework for Structure-to-Instance Theorem Autoformalization. CoRR Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen
2025	J	`jnl`	Translating Informal Proofs into Formal Proofs Using a Chain of States. CoRR Ziyu Wang, Bowen Yang, Chenyi Li, Yuan Zhang, Shihao Zhou, Bin Dong, Zaiwen Wen
2024	J	`jnl`	A Customized Augmented Lagrangian Method for Block-Structured Integer Programming. IEEE Trans. Pattern Anal. Mach. Intell. Rui Wang, Chuwen Zhang, Shanwen Pu, Jianjun Gao, Zaiwen Wen
2024	A*	`conf`	An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural Networks. ICML Zhifa Ke, Zaiwen Wen, Junyu Zhang
2024	J	`jnl`	An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural Networks. CoRR Zhifa Ke, Zaiwen Wen, Junyu Zhang
2024	J	`jnl`	Convergence Analysis of an Adaptively Regularized Natural Gradient Method. IEEE Trans. Signal Process. Jiayuan Wu, Jiang Hu, Hongchao Zhang, Zaiwen Wen
2024	J	`jnl`	Enhancing Zeroth-order Fine-tuning for Language Models with Low-rank Structures. CoRR Yiming Chen, Yuan Zhang, Liyuan Cao, Kun Yuan, Zaiwen Wen
2024	J	`jnl`	Formalization of Complexity Analysis of the First-order Optimization Algorithms. CoRR Chenyi Li, Ziyu Wang, Wanyi He, Yuxuan Wu, Shengyang Xu, Zaiwen Wen
2024	A	`conf`	HeLEM-GR: Heterogeneous Global Routing with Linearized Exponential Multiplier Method. ICCAD Chunyuan Zhao, Zizheng Guo, Rui Wang, Zaiwen Wen, Yun Liang, Yibo Lin
2024	J	`jnl`	ODE-based Learning to Optimize. CoRR Zhonglin Xie, Wotao Yin, Zaiwen Wen
2024	J	`jnl`	Predicting sequenced dental treatment plans from electronic dental records using deep learning. Artif. Intell. Medicine Haifan Chen, Pufan Liu, Zhaoxing Chen, Qingxiao Chen, Zaiwen Wen, Ziqing Xie
2024	J	`jnl`	Riemannian Natural Gradient Methods. SIAM J. Sci. Comput. Jiang Hu, Ruicheng Ao, Anthony Man-Cho So, Minghan Yang, Zaiwen Wen
2023	J	`jnl`	A Decomposition Augmented Lagrangian Method for Low-Rank Semidefinite Programming. SIAM J. Optim. Yifei Wang, Kangkang Deng, Haoyang Liu, Zaiwen Wen
2023	J	`jnl`	A Stochastic Composite Augmented Lagrangian Method for Reinforcement Learning. SIAM J. Optim. Yongfeng Li, Mingming Zhao, Weijie Chen, Zaiwen Wen
2023	J	`jnl`	A Unified Primal-Dual Algorithm Framework for Inequality Constrained Problems. J. Sci. Comput. Zhenyuan Zhu, Fan Chen, Junyu Zhang, Zaiwen Wen
2023	J	`jnl`	An Efficient Fisher Matrix Approximation Method for Large-Scale Neural Network Optimization. IEEE Trans. Pattern Anal. Mach. Intell. Minghan Yang, Dong Xu, Qiwen Cui, Zaiwen Wen, Pengxiang Xu
2023	J	`jnl`	An Entropy-Regularized ADMM For Binary Quadratic Programming. J. Glob. Optim. Haoming Liu, Kangkang Deng, Haoyang Liu, Zaiwen Wen
2023	J	`jnl`	An exact penalty approach for optimization with nonnegative orthogonality constraints. Math. Program. Bo Jiang, Xiang Meng, Zaiwen Wen, Xiaojun Chen
2023	J	`jnl`	Decoding LDPC Codes by Using Negative Proximal Regularization. IEEE Trans. Commun. Yiming Chen, Rui Wang, Jinglong Zhu, Zaiwen Wen
2023	A*	`conf`	LRSDP: Low-Rank SDP for Triple Patterning Lithography Layout Decomposition. DAC Yu Zhang, Yifan Chen, Zhonglin Xie, Hong Xu, Zaiwen Wen, Yibo Lin, Bei Yu
2023	J	`jnl`	Monte Carlo Policy Gradient Method for Binary Optimization. CoRR Cheng Chen, Ruitao Chen, Tianyou Li, Ruicheng Ao, Zaiwen Wen
2023	J	`jnl`	Provably Efficient Gauss-Newton Temporal Difference Learning Method with Function Approximation. CoRR Zhifa Ke, Zaiwen Wen, Junyu Zhang
2023	A	`conf`	Stronger Mixed-Size Placement Backbone Considering Second-Order Information. ICCAD Yifan Chen, Zaiwen Wen, Yun Liang, Yibo Lin
2022	J	`jnl`	A Multiscale Semi-Smooth Newton Method for Optimal Transport. J. Sci. Comput. Yiyang Liu, Zaiwen Wen, Wotao Yin
2022	A*	`conf`	A Near-Optimal Primal-Dual Method for Off-Policy Learning in CMDP. NeurIPS Fan Chen, Junyu Zhang, Zaiwen Wen
2022	J	`jnl`	A Near-Optimal Primal-Dual Method for Off-Policy Learning in CMDP. CoRR Fan Chen, Junyu Zhang, Zaiwen Wen
2022	J	`jnl`	A stochastic extra-step quasi-Newton method for nonsmooth nonconvex optimization. Math. Program. Minghan Yang, Andre Milzarek, Zaiwen Wen, Tong Zhang
2022	J	`jnl`	On the geometric analysis of a quartic-quadratic optimization problem under a spherical constraint. Math. Program. Haixiang Zhang, Andre Milzarek, Zaiwen Wen, Wotao Yin
2022	J	`jnl`	Riemannian Natural Gradient Methods. CoRR Jiang Hu, Ruicheng Ao, Anthony Man-Cho So, Minghan Yang, Zaiwen Wen
2022	J	`jnl`	Sketch-Based Empirical Natural Gradient Methods for Deep Learning. J. Sci. Comput. Minghan Yang, Dong Xu, Zaiwen Wen, Mengyun Chen, Pengxiang Xu
2022	J	`jnl`	Some Sharp Error Bounds for Multivariate Linear Interpolation and Extrapolation. CoRR Liyuan Cao, Zaiwen Wen, Ya-Xiang Yuan
2022	J	`jnl`	Stochastic Augmented Projected Gradient Methods for the Large-Scale Precoding Matrix Indicator Selection Problem. IEEE Trans. Wirel. Commun. Jiaqi Zhang, Zeyu Jin, Bo Jiang, Zaiwen Wen
2021	J	`jnl`	A Stochastic Composite Augmented Lagrangian Method For Reinforcement Learning. CoRR Yongfeng Li, Mingming Zhao, Weijie Chen, Zaiwen Wen
2021	A*	`conf`	Enhance Curvature Information by Structured Stochastic Quasi-Newton Methods. CVPR Minghan Yang, Dong Xu, Hongyu Chen, Zaiwen Wen, Mengyun Chen
2021	J	`jnl`	Joint Bandwidth Allocation and Path Selection in WANs with Path Cardinality Constraints. J. Commun. Inf. Networks Jinxin Wang, Fan Zhang, Zhonglin Xie, Zaiwen Wen, Gong Zhang
2021	J	`jnl`	NG+ : A Multi-Step Matrix-Product Natural Gradient Method for Deep Learning. CoRR Minghan Yang, Dong Xu, Qiwen Cui, Zaiwen Wen, Pengxiang Xu
2021	J	`jnl`	Search Direction Correction with Normalized Gradient Makes First-Order Methods Faster. SIAM J. Sci. Comput. Yifei Wang, Zeyu Jia, Zaiwen Wen
2020	J	`jnl`	Adaptive Low-Nonnegative-Rank Approximation for State Aggregation of Markov Chains. SIAM J. Matrix Anal. Appl. Yaqi Duan, Mengdi Wang, Zaiwen Wen, Yaxiang Yuan
2020	J	`jnl`	Ground States of Spin-F Bose-Einstein Condensates. SIAM J. Sci. Comput. Tonghua Tian, Yongyong Cai, Xinming Wu, Zaiwen Wen
2020	J	`jnl`	Low-Rank Matrix Iteration Using Polynomial-Filtered Subspace Extraction. SIAM J. Sci. Comput. Yongfeng Li, Haoyang Liu, Zaiwen Wen, Ya-Xiang Yuan
2020	J	`jnl`	Preface. Optim. Methods Softw. Yu-Hong Dai, Xin Liu, Jiawang Nie, Zaiwen Wen
2020	J	`jnl`	Symmetric rank-1 approximation of symmetric high-order tensors. Optim. Methods Softw. Leqin Wu, Xin Liu, Zaiwen Wen
2020	J	`jnl`	Towards solving 2-TBSG efficiently. Optim. Methods Softw. Zeyu Jia, Zaiwen Wen, Yinyu Ye
2019	J	`jnl`	A Stochastic Semismooth Newton Method for Nonsmooth Nonconvex Optimization. SIAM J. Optim. Andre Milzarek, Xiantao Xiao, Shicong Cen, Zaiwen Wen, Michael Ulbrich
2019	J	`jnl`	Global Optimization with Orthogonality Constraints via Stochastic Diffusion on Manifold. J. Sci. Comput. Honglin Yuan, Xiaoyi Gu, Rongjie Lai, Zaiwen Wen
2019	J	`jnl`	Globally Convergent Levenberg-Marquardt Method for Phase Retrieval. IEEE Trans. Inf. Theory Chao Ma, Xin Liu, Zaiwen Wen
2019	J	`jnl`	Ground states and their characterization of spin-F Bose-Einstein condensates. CoRR Tonghua Tian, Yongyong Cai, Xinming Wu, Zaiwen Wen
2019	J	`jnl`	Structured Quasi-Newton Methods for Optimization with Orthogonality Constraints. SIAM J. Sci. Comput. Jiang Hu, Bo Jiang, Lin Lin, Zaiwen Wen, Ya-Xiang Yuan
2019	J	`jnl`	Toward Solving 2-TBSG Efficiently. CoRR Zeyu Jia, Zaiwen Wen, Yinyu Ye
2018	J	`jnl`	A Regularized Semi-Smooth Newton Method with Projection Steps for Composite Convex Programs. J. Sci. Comput. Xiantao Xiao, Yongfeng Li, Zaiwen Wen, Liwei Zhang
2018	J	`jnl`	A SemiSmooth Newton Method for Semidefinite Programs and its Applications in Electronic Structure Calculations. SIAM J. Sci. Comput. Yongfeng Li, Zaiwen Wen, Chao Yang, Ya-Xiang Yuan
2018	J	`jnl`	A Sparse Completely Positive Relaxation of the Modularity Maximization for Community Detection. SIAM J. Sci. Comput. Junyu Zhang, Haoyang Liu, Zaiwen Wen, Shuzhong Zhang
2018	J	`jnl`	Adaptive Quadratically Regularized Newton Method for Riemannian Optimization. SIAM J. Matrix Anal. Appl. Jiang Hu, Andre Milzarek, Zaiwen Wen, Yaxiang Yuan
2017	J	`jnl`	A Regularized Newton Method for Computing Ground States of Bose-Einstein Condensates. J. Sci. Comput. Xinming Wu, Zaiwen Wen, Weizhu Bao
2017	J	`jnl`	A Sparse Completely Positive Relaxation of the Modularity Maximization for Community Detection. CoRR Junyu Zhang, Haoyang Liu, Zaiwen Wen, Shuzhong Zhang
2017	J	`jnl`	Accelerating Convergence by Augmented Rayleigh-Ritz Projections For Large-Scale Eigenpair Computation. SIAM J. Matrix Anal. Appl. Zaiwen Wen, Yin Zhang
2017	J	`jnl`	Subspace Methods with Local Refinements for Eigenvalue Computation Using Low-Rank Tensor-Train Format. J. Sci. Comput. Junyu Zhang, Zaiwen Wen, Yin Zhang
2016	J	`jnl`	L SIAM J. Optim. Bo Jiang, Ya-Feng Liu, Zaiwen Wen
2016	J	`jnl`	Trace-Penalty Minimization for Large-Scale Eigenspace Computation. J. Sci. Comput. Zaiwen Wen, Chao Yang, Xin Liu, Yin Zhang
2015	J	`jnl`	A Proximal Gradient Method for Ensemble Density Functional Theory. SIAM J. Sci. Comput. Michael Ulbrich, Zaiwen Wen, Chao Yang, Dennis Klöckner, Zhaosong Lu
2015	J	`jnl`	An Efficient Gauss-Newton Algorithm for Symmetric Low-Rank Product Matrix Approximations. SIAM J. Optim. Xin Liu, Zaiwen Wen, Yin Zhang
2015	J	`jnl`	On the Analysis of the Discretized Kohn-Sham Density Functional Theory. SIAM J. Numer. Anal. Xin Liu, Zaiwen Wen, Xiao Wang, Michael Ulbrich, Yaxiang Yuan
2014	J	`jnl`	Folding-Free Global Conformal Mapping for Genus-0 Surfaces by Harmonic Energy Minimization. J. Sci. Comput. Rongjie Lai, Zaiwen Wen, Wotao Yin, Xianfeng Gu, Lok Ming Lui
2014	J	`jnl`	Gradient Type Optimization Methods For Electronic Structure Calculations. SIAM J. Sci. Comput. Xin Zhang, Jinwei Zhu, Zaiwen Wen, Aihui Zhou
2014	J	`jnl`	On the Convergence of the Self-Consistent Field Iteration in Kohn-Sham Density Functional Theory. SIAM J. Matrix Anal. Appl. Xin Liu, Xiao Wang, Zaiwen Wen, Ya-Xiang Yuan
2013	J	`jnl`	A feasible method for optimization with orthogonality constraints. Math. Program. Zaiwen Wen, Wotao Yin
2013	J	`jnl`	Adaptive Regularized Self-Consistent Field Iteration with Exact Hessian for Electronic Structure Calculation. SIAM J. Sci. Comput. Zaiwen Wen, Andre Milzarek, Michael Ulbrich, Hongchao Zhang
2013	J	`jnl`	Decentralized Jointly Sparse Optimization by Reweighted l IEEE Trans. Signal Process. Qing Ling, Zaiwen Wen, Wotao Yin
2013	J	`jnl`	Limited Memory Block Krylov Subspace Optimization for Computing Dominant Singular Value Decompositions. SIAM J. Sci. Comput. Xin Liu, Zaiwen Wen, Yin Zhang
2013	J	`jnl`	Orientation Determination of Cryo-EM Images Using Least Unsquared Deviations. SIAM J. Imaging Sci. Lanhui Wang, Amit Singer, Zaiwen Wen
2012	Misc	`conf`	Decentralized low-rank matrix completion. ICASSP Qing Ling, Yangyang Xu, Wotao Yin, Zaiwen Wen
2012	J	`jnl`	On the convergence of an active-set method for ℓ Optim. Methods Softw. Zaiwen Wen, Wotao Yin, Hongchao Zhang, Donald Goldfarb
2012	J	`jnl`	Orientation Determination from Cryo-EM images Using Least Unsquared Deviation CoRR Lanhui Wang, Amit Singer, Zaiwen Wen
2012	J	`jnl`	Solving a low-rank factorization model for matrix completion by a nonlinear successive over-relaxation algorithm. Math. Program. Comput. Zaiwen Wen, Wotao Yin, Yin Zhang
2011	J	`jnl`	An Alternating Direction Algorithm for Matrix Completion with Nonnegative Factors CoRR Yangyang Xu, Wotao Yin, Zaiwen Wen, Yin Zhang
2011	Misc	`conf`	Dynamic compressive spectrum sensing for cognitive radio networks. CISS Wotao Yin, Zaiwen Wen, Shuyi Li, Jia (Jasmine) Meng, Zhu Han
2011	J	`jnl`	Trust, But Verify: Fast and Accurate Signal Recovery From 1-Bit Compressive Measurements. IEEE Trans. Signal Process. Jason N. Laska, Zaiwen Wen, Wotao Yin, Richard G. Baraniuk
2010	J	`jnl`	A Fast Algorithm for Sparse Reconstruction Based on Shrinkage, Subspace Optimization, and Continuation. SIAM J. Sci. Comput. Zaiwen Wen, Wotao Yin, Donald Goldfarb, Yin Zhang
2010	J	`jnl`	Alternating direction augmented Lagrangian methods for semidefinite programming. Math. Program. Comput. Zaiwen Wen, Donald Goldfarb, Wotao Yin
2009	J	`jnl`	A Curvilinear Search Method for p-Harmonic Flows on Spheres. SIAM J. Imaging Sci. Donald Goldfarb, Zaiwen Wen, Wotao Yin
2009	J	`jnl`	A Line Search Multigrid Method for Large-Scale Nonlinear Optimization. SIAM J. Optim. Zaiwen Wen, Donald Goldfarb
2009	—	`conf`	Solving low-rank matrix completion problems efficiently. Allerton Donald Goldfarb, Shiqian Ma, Zaiwen Wen
2007	J	`jnl`	On Direct Methods for Time-Limited Signal and Image Reconstruction and Enhancement. Int. J. Wavelets Multiresolution Inf. Process. Yanfei Wang, Zaiwen Wen, M. Zuhair Nashed, Qiyu Sun