2 papers
cs.AI2026
LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs
Zhinan Hou, Xingchen Li, Yankai Zhang +2
Efficient branching policies are essential for accelerating Mixed Integer Linear Programming (MILP) solvers. Their design has long relied on hand-crafted heuristics, and now machin…
cs.RO2025
Safety Meets Speed: Accelerated Neural MPC with Safety Guarantees and No Retraining
Kaikai Wang, Tianxun Li, Liang Xu +2
While Model Predictive Control (MPC) enforces safety via constraints, its real-time execution can exceed embedded compute budgets. We propose a Barrier-integrated Adaptive Neural M…