English
Related papers

Related papers: A Primal-Dual Perspective on Program Verification …

200 papers

This paper presents Dual Lagrangian Learning (DLL), a principled learning methodology for dual conic optimization proxies. DLL leverages conic duality and the representation power of ML models to provide high-duality, dual-feasible…

Optimization and Control · Mathematics 2024-05-27 Mathieu Tanneau , Pascal Van Hentenryck

Solving large scale convex semidefinite programming (SDP) problems has long been a challenging task numerically. Fortunately, several powerful solvers including SDPNAL, SDPNAL+ and QSDPNAL have recently been developed to solve linear and…

Optimization and Control · Mathematics 2016-10-05 Ying Cui , Defeng Sun , Kim-Chuan Toh

With the widespread adoption of machine learning systems, the need to curtail their behavior has become increasingly apparent. This is evidenced by recent advancements towards developing models that satisfy robustness, safety, and fairness…

Machine Learning · Computer Science 2024-03-19 Juan Elenter , Luiz F. O. Chamon , Alejandro Ribeiro

Using an optimization algorithm to solve a machine learning problem is one of mainstreams in the field of science. In this work, we demonstrate a comprehensive comparison of some state-of-the-art first-order optimization algorithms for…

Machine Learning · Computer Science 2014-04-29 Yu Wei , Pock Thomas

The twin support vector machine and its extensions have made great achievements in dealing with binary classification problems. However, it suffers from difficulties in effective solution of multi-classification and fast model selection.…

Machine Learning · Computer Science 2023-02-15 Liuyuan Chen , Kanglei Zhou , Junchang Jing , Haiju Fan , Juntao Li

This article fits in the area of research that investigates the application of topological duality methods to problems that appear in theoretical computer science. One of the eventual goals of this approach is to derive results in…

Logic in Computer Science · Computer Science 2022-01-05 Mehdi Zaïdi

In this paper, a projected primal-dual gradient flow of augmented Lagrangian is presented to solve convex optimization problems that are not necessarily strictly convex. The optimization variables are restricted by a convex set with…

Optimization and Control · Mathematics 2018-10-31 Han Zhang , Jieqiang Wei , Peng Yi , Xiaoming Hu

Building mathematical optimization models is critical in operations research (OR), while it requires substantial human expertise. Recent advancements have utilized large language models (LLMs) to automate this modeling process. However,…

Artificial Intelligence · Computer Science 2026-05-29 Haoyang Liu , Jie Wang , Boxuan Niu , Xiongwei Han , Yian Xu , Mingxuan Ye , Zijie Geng , Fangzhou Zhu , Tao Zhong , Mingxuan Yuan , Jianye Hao

Dantzig and Eaves claimed that fundamental duality theorems of linear programming were a trivial consequence of Fourier elimination. Another property of Fourier elimination is considered here, regarding the existence of implicit equalities…

Discrete Mathematics · Computer Science 2019-08-23 Jean-Louis Lassez

With the unprecedented growth of signal processing and machine learning application domains, there has been a tremendous expansion of interest in distributed optimization methods to cope with the underlying large-scale problems.…

Optimization and Control · Mathematics 2022-10-25 Hansi Abeynanda , Chathuranga Weeraddana , G. H. J. Lanel , Carlo Fischione

Augmented Lagrangian Methods (ALMs) are widely employed in solving constrained optimizations, and some efficient solvers are developed based on this framework. Under the quadratic growth assumption, it is known that the dual iterates and…

Optimization and Control · Mathematics 2024-10-31 Feng-Yi Liao , Lijun Ding , Yang Zheng

In recent years, information relaxation and duality in dynamic programs have been studied extensively, and the resulted primal-dual approach has become a powerful procedure in solving dynamic programs by providing lower-upper bounds on the…

Optimization and Control · Mathematics 2016-10-26 Helin Zhu , Fan Ye , Enlu Zhou

We present PDLP, a practical first-order method for linear programming (LP) designed to solve large-scale LP problems. PDLP is based on the primal-dual hybrid gradient (PDHG) method applied to the minimax formulation of LP. PDLP…

Optimization and Control · Mathematics 2026-03-19 David Applegate , Mateo Díaz , Oliver Hinder , Haihao Lu , Miles Lubin , Brendan O'Donoghue , Warren Schudy

In this paper, we consider establishing a formal connection between two distinct tree-abstraction problems inspired by the information-bottleneck (IB) method. Specifically, we consider the hard- and soft-constrained formulations that have…

Information Theory · Computer Science 2025-12-02 Daniel T. Larsson , Dipankar Maity , Panagiotis Tsiotras

This study develops an algorithm for distributed computing of linear programming problems of huge-scales. Global consensus with single common variable, multiblocks, and augmented Lagrangian are adopted. The consensus is used to partition…

Optimization and Control · Mathematics 2025-08-07 Luoyi Tao

We survey research that studies the connection between the computational complexity of optimization problems on the one hand, and the duality gap between the primal and dual optimization problems on the other. To our knowledge, this is the…

Optimization and Control · Mathematics 2011-11-16 Prabhu Manyem

In this two-part study we develop a unified approach to the analysis of the global exactness of various penalty and augmented Lagrangian functions for finite-dimensional constrained optimization problems. This approach allows one to verify…

Optimization and Control · Mathematics 2018-11-16 M. V. Dolgopolik

This paper addresses problems of second-order cone programming important in optimization theory and applications. The main attention is paid to the augmented Lagrangian method (ALM) for such problems considered in both exact and inexact…

Optimization and Control · Mathematics 2021-07-07 Nguyen T. V. Hang , Boris S. Mordukhovich , M. Ebrahim Sarabi

In this paper, we develop a novel primal-dual semismooth Newton method for solving linearly constrained multi-block convex composite optimization problems. First, a differentiable augmented Lagrangian (AL) function is constructed by…

Optimization and Control · Mathematics 2024-05-17 Zhanwang Deng , Kangkang Deng , Jiang Hu , Zaiwen Wen

In multi-objective optimization, minimizing the worst objective can be preferable to minimizing the average objective, as this ensures improved fairness across objectives. Due to the non-smooth nature of the resultant min-max optimization…

Optimization and Control · Mathematics 2025-04-07 Sangwoo Park , Stefan Vlaski , Lajos Hanzo