Yanhong Huang

LoMax: LLM‐Driven Local Code Optimization for MaxSAT Solvers

ABSTRACT The Maximum Satisfiability (MaxSAT) problem is a fundamental combinatorial optimization task, and state‐of‐the‐art solvers rely on decades of expert‐engineered heuristics and low‐level micro‐optimizations to achieve competitive performance. While recent Large Language Mo...