3 papers
cs.CL2025
Let's Revise Step-by-Step: A Unified Local Search Framework for Code Generation with LLMs
Zhiyi Lyu, Jianguo Huang, Yanchen Deng +2
Large Language Models (LLMs) with inference-time scaling techniques show promise for code generation, yet face notable efficiency and scalability challenges. Construction-based tre…
cs.AI2025
GDBA Revisited: Unleashing the Power of Guided Local Search for Distributed Constraint Optimization
Yanchen Deng, Xinrun Wang, Bo An
Local search is an important class of incomplete algorithms for solving Distributed Constraint Optimization Problems (DCOPs) but it often converges to poor local optima. While Gene…
cs.AI2025
Collab-Solver: Collaborative Solving Policy Learning for Mixed-Integer Linear Programming
Siyuan Li, Yifan Yu, Zhihao Zhang +5
Mixed-integer linear programming (MILP) has been a fundamental problem in combinatorial optimization. Conventional MILP solving mainly relies on carefully designed heuristics embed…