DCEmbed: Scalable Optimization over Neural Surrogates

arXiv:2609.33879 · math.OC, cs.LG · Submitted 2026-09-27 · Read on arXiv

math.OC, cs.LG

Submitted: 2026-09-27

Updated: 2026-09-27

Terminology

• Neural Surrogates — 1× in this paper · explained in 2 episodes

Sources

• Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
• PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs

Related papers

• Lions and Muons: Optimization via Stochastic Frank-Wolfe under Heavy-Tailed Noise
• Adam-HNAG: A Convergent Reformulation of Adam with Accelerated Rate
• Incremental Learning in Mirror Flows
• Second-Order Optimization with Asynchronous Curvature
• Online Control via Counterfactual Tracking
• Asynchronous Replanning in Two Population Linear Quadratic Mean Field Games: Information Requirements and Stability