Formulating Optimization Programs
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
AlphaOPT: Formulating Optimization Programs with Self-Improving LLM Experience Library
Announce Type: replace Abstract: Optimization modeling underlies critical decision-making across industries, yet remains difficult to automate: natural-language problem descriptions must be translated into precise mathematical formulations and executable solver code. Existing LLM-based approaches typically rely on brittle prompting or costly retraining, both of which offer limited generalization. Recent work suggests that large models can improve via experience reuse, but how to...
CADFit: Precise Mesh-to-CAD Program Generation with Hybrid Optimization
Announce Type: replace Abstract: Despite recent progress, recovering parametric CAD construction sequences from geometric input, such as meshes or point clouds, is a key challenge for design and manufacturing, as existing CAD reconstruction and generation methods are largely restricted to difficult-to-edit formats like meshes or Breps or editable simple sketch-and-extrude pipelines and low-complexity datasets. We introduce CADFit, a hybrid optimization-based CAD reconstruction framework that...
CADFit: Precise Mesh-to-CAD Program Generation with Hybrid Optimization
Announce Type: replace Abstract: Despite recent progress, recovering parametric CAD construction sequences from geometric input, such as meshes or point clouds, is a key challenge for design and manufacturing, as existing CAD reconstruction and generation methods are largely restricted to difficult-to-edit formats like meshes or Breps or editable simple sketch-and-extrude pipelines and low-complexity datasets. We introduce CADFit, a hybrid optimization-based CAD reconstruction framework that...
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
arXiv:2602.17434v2 Announce Type: replace Abstract: Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the problem, preventing scalable synthesis with satisfaction guarantees. To address this, we formulate STL planning as an optimization program under multi-agent STL constraints and introduce a penalty-based unconstrained relaxation that can be efficiently solved via...
Structure-preserving Optimal Kron-based Reduction of Radial Distribution Networks
arXiv:2508.15006v2 Announce Type: replace Abstract: Network reduction simplifies complex electrical networks to address computational challenges of large-scale transmission and distribution grids. Traditional network reduction methods are often based on a predefined set of nodes or lines to remain in the reduced network. This paper builds upon previous work on optimal Kron-based reduction of networks, which was formulated as a mixed-integer linear program, to enhance the framework in three...
Optimizing Explicit Unit-Distance Lower-Bound Certificates
arXiv:2606.03419v1 Announce Type: cross Abstract: The 2026 disproof of Erd\H{o}s's unit-distance conjecture and Sawin's subsequent explicit quantitative refinement show that the maximum number $u(n)$ of unit distances among $n$ planar points can exceed $n^{1+\varepsilon}$ for a fixed positive $\varepsilon$. Sawin's explicit bound gives more than $n^{1.014}$ unit distances for arbitrarily large $n$ and exposes finite parameters whose choice is not fully optimized. This report formulates the...
Clustering-enhanced adaptive Benders decomposition for energy systems planning optimization
arXiv:2606.00388v1 Announce Type: cross Abstract: High-resolution energy system capacity expansion models (CEMs) for energy transition planning often result in large-scale mixed-integer linear programming (MILP) formulations. Benders decomposition (BD) offers a scalable solution approach by iteratively solving a master problem (MP) for investment decisions and multiple subproblems (SPs) for operational decisions. However, accumulated Benders cuts generated by the SPs can make MP solution a...
Energy Efficiency Optimization for Rotatable Antenna-Enabled Uplink NOMA Systems
arXiv:2606.05600v1 Announce Type: new Abstract: This paper investigates a rotatable antenna (RA)-enabled uplink non-orthogonal multiple access (NOMA) system, where a base station equipped with multiple independently RAs serves both ground and aerial users. Specifically, we formulate an energy efficiency (EE) maximization problem by jointly optimizing receive beamforming, user power allocation, and RA rotation. To make the problem tractable, a new block coordinate descent-based algorithm is...
Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
Announce Type: replace Abstract: This work addresses the critical challenge of guaranteeing safety for complex dynamical systems where precise mathematical models are uncertain and data measurements are corrupted by noise. We develop a physics-guided, direct data-driven framework for synthesizing robust safety controllers for discrete-time nonlinear polynomial systems that are subject to unknown-but-bounded disturbances. To do so, we introduce a notion of safety through robust control...
Equivalent Circuit Model based Electric Vehicle Evacuation with Mobile Charging Stations
Announce Type: new Abstract: The increasing penetration of electric vehicles (EVs) introduces new challenges for emergency evacuation planning due to limited driving range, long charging times, and constrained charging infrastructure, particularly under disaster induced disruptions. This paper proposes a novel optimization based evacuation framework for EVs using Equivalent Circuit Models (ECMs) to jointly address routing, charging, and congestion management. By leveraging electrical...