6 papers
Efficient Reasoning via Constrained Optimization in Latent Space
Zhinan Hou, Xingchen Li, XingChen Li +1
Large Reasoning Models (LRMs) have shown remarkable reasoning capabilities, yet they still suffer from overthinking, generating redundant reasoning steps which incur substantial to…
What Matters in On-Policy Distillation? A Perspective on Data Efficiency and Data Selection
Zhinan Hou, Jiaqi Zhang, Xunliang Cai +1
On-Policy Distillation (OPD) has emerged as a widely adopted post-training paradigm for enhancing large language models in reasoning domains. However, the data-centric mechanisms i…
APX-Hardness of Computing Lipschitz Constants for Multi-Parametric Quadratic Programs
Xingchen Li, Kunpeng Liu, Keyou You
Computing the Lipschitz constant of the solution map of a multi-parametric quadratic program is important for the analysis of optimization-based control. This problem is governed b…
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…
A Unified Hybrid Control Architecture for Multi-DOF Robotic Manipulators
Xinyu Qiao, Yongyang Xiong, Yu Han +1
Multi-degree-of-freedom (DOF) robotic manipulators exhibit strongly nonlinear, high-dimensional, and coupled dynamics, posing significant challenges for controller design. To addre…
ReLU Networks for Model Predictive Control: Network Complexity and Performance Guarantees
Xingchen Li, Keyou You
Recent years have witnessed a resurgence in using ReLU neural networks (NNs) to represent model predictive control (MPC) policies. However, determining the required network complex…