Papers › NLPOpt-Net: A Learning Method for Nonlinear Optimization with Feasibility Guarantees

NLPOpt-Net: A Learning Method for Nonlinear Optimization with Feasibility Guarantees

30 Apr 2026arXiv:2605.00260added by Syntology

Bimol Nath Roy, Rahul Golder, MM Faruque Hasan

Title, abstract, authors and date from arXiv's metadata (CC0); this paper is not in the Papers with Code archive (frozen 2025-07-28).

Nonlinear Parametric Optimization Network (NLPOpt-Net) is an unsupervised learning architecture to solve constrained nonlinear programs (NLP). Given the structure of an NLP, it learns the parametric solution maps with guaranteed constraint satisfaction. The architecture consists of a backbone neural network (NN) followed by a multilayer (k-layered) projection. While the NN drives toward optimality through a loss function consisting of a modified Lagrangian augmented with a consistency loss, the projection ensures feasibility by projecting the NN predictions in the original constraint manifold. Instead of typical distance minimization, our projection exploits local quadratic approximations of the original NLP. Under certain conditions (such as convexity), the projection has a descent property, which improves the NN predictions further. NLPOpt-Net deploys an inversion-free, modified Chambolle-Pock algorithm to solve the constrained quadratic projections during the forward pass and uses the implicit function theorem for efficient backpropagation. The fixed structure of the projection further allows decoupling of the NN and the projection once the training is complete. NLPOpt-Net solves large-scale convex QP, QCQP, NLP, and nonconvex problems with near zero optimality gap and constraint violations reduced to machine precision. Additionally, it provides near accurate prediction of the active sets and corresponding dual variables, thereby enabling a scalable approach for multiparametric programming. Compiling the projection in C provides order of magnitude improvement in inference time compared to JAX. We provide the codes and NLPOpt-Net as a ready to use package that includes GPU support.

PaperPDFCode Syntology ran

In Syntology Open this paper in Syntology's Atlas, the map of the papers in Syntology's graph and their citations.

For agents, Syntology's MCP tool lists every function and class Syntology harvested from this paper and whether it ran (how to connect): get_harvested_code_for_paper(arxiv_id="2605.00260")

Code

Syntology Ran 16 of 23 code samples harvested from 1 repository linked to this paper; 7 have no recorded run. Of those that ran: 1 ran · honoured contract; 11 ran · our draft was wrong; 4 ran with no contract checked.

By repository: found in paper text by Syntology: 23 samples from 1 repository, 16 ran. The run record, sample by sample. “Ran” means executed on a synthesized input, not that the code is correct or reproduces the paper.

souls-tamu/nlpoptnet found in paper text by Syntology report

Reachability, where shown, is from one Syntology probe window (2026-09-16 to 2026-09-18); repositories not probed show nothing. GitHub stars are not tracked.

Code Syntology ran Syntology

23 samples harvested; 16 ran; 1 honoured the contract we drafted; 7 have no recorded run. Read from Syntology's graph 2026-09-24; that is when this build read the record, not when the samples ran.

1ran · honoured contract
11ran · our draft was wrong
4ran
7unverified

Licence: 0 of the 23 samples are pointer only, meaning Syntology does not serve that copy's text. This page shows no code text for any sample; each one links to its file in the repository.

Harvested from souls-tamu/nlpoptnet. “Ran” means the sample executed on a synthesized input. It does not mean the output is correct, and nothing here reproduces the paper's results. “Honoured” and “violated” refer to a contract Syntology drafted from the code itself; “our draft was wrong” and “fixture could not drive it” are failures of Syntology's instrument, not of the code.

Each sample ends with its code_sha256, Syntology's identity for that exact code. An agent fetches the stored sample with Syntology's MCP tool get_code(code_sha256="…") (how to connect); click an identity to copy that call.

Repository labels, per sample. official repository: The archive marks this repository official for the paper. named in the paper: The archive records that the paper mentions this repository; it is not marked official. community (archive-listed): In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper. found in paper text by Syntology: Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted. community: Not in the archive's code links for this paper; a community repository Syntology harvested. Samples from a repository marked official are listed first. Licence labels name the repository's licence as recorded at harvest. “Pointer only” means Syntology does not serve that copy's text, for one of four reasons: no licence file was found; the licence was not identified; the licence is recorded as permissive but that copy's record is not marked cleared; or the licence is outside the permissive list Syntology serves text under (MIT, Apache-2.0, BSD and similar). Some licences outside that list permit redistribution, such as WTFPL, and GPL-3.0 under its conditions; they are simply not on the list. Hover a licence label for the reason. File links open the file on GitHub at the default branch, which may have changed since the harvest.

ParameterSpec souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran Apache-2.0 (permissive) · 19adf70ac466f7f3 · report
QuadraticObjective souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · metamorphic tier: invariant fingerprinted Apache-2.0 (permissive) · 6c6efb63f584e18a · report
VariableSpec souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · metamorphic tier: well formed Apache-2.0 (permissive) · 09cdd98635880c68 · report
_as_1d souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · honoured contract fingerprinted Apache-2.0 (permissive) · c0355ddf23075832 · report
aggregate_constraint_jacobian souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · 037f448a77c01b19 · report
aggregate_constraints souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · 295fb68ea0ac689c · report
build_diag_hess_y_objective souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · e648a6e4040548f8 · report
build_grad_y_objective souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · fe7029cfa054529a · report
build_hess_y_objective souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · a5f41d42ed046759 · report
build_sqp_data souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · 90f5abfa450f6151 · report
build_sqp_subproblem_data souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran Apache-2.0 (permissive) · bd8fbcb0c44e9951 · report
linearize_constraints souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · 7236e74d015f0256 · report
linearize_constraints_data souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · 55349d67e26f7ba5 · report
quadraticize_objective souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · e040cda34782cc35 · report
quadraticize_objective_data souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · 7c151df86ae840e0 · report
wrap_scalar_objective souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology ran · our draft was wrong Apache-2.0 (permissive) · 2cc77b1530e454ee · report
BoundSpec souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology unverified Apache-2.0 (permissive) · 16a809cfd7a86382 · report
ConstraintEntry souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology unverified Apache-2.0 (permissive) · eb18cdd5625babbf · report
JaxNLPModel souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology unverified Apache-2.0 (permissive) · 55d5c5b12f3b7133 · report
LinearizationData souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology unverified Apache-2.0 (permissive) · 27f21d2abb42bac1 · report
QuadraticObjectiveData souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology unverified Apache-2.0 (permissive) · 49228e83d5df9126 · report
SQPSubproblemData souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology unverified Apache-2.0 (permissive) · 95a6fe45248a39a5 · report
resolve_objective souls-tamu/nlpoptnet/nlpoptnet/src/jaxmodel/model.py found in paper text by Syntology unverified Apache-2.0 (permissive) · 83a9f72da6693d18 · report

Results from the paper

The Papers with Code archive ends with its 2025-07-28 snapshot. This paper's arXiv identifier, 2605.00260, was issued in May 2026, after that date, so the archive has no leaderboard rows for it.

Report a problem or propose a change · a person checks every report against the paper or source before anything changes; decisions are listed on /corrections