FormuEvo

LLM 引导的进化发现高效的 MIP 公式

研究人员开发了 FormuEvo，一个新颖的框架，它使用大型语言模型 (LLM) 来指导进化过程，以发现更高效的混合整数规划 (MIP) 公式。该方法旨在通过关注公式强度，而不仅仅是语义正确性，来提高求解器的性能。FormuEvo 包含一个求解器知情的诊断机制和一个结构化内存来抽象可重用策略，使其能够通过将求解器加速高达 5.5 倍来超越专家设计的公式和现有的基于 LLM 的方法。