FormuEvo

FormuEvo 使用 LLM 引导的进化来创建高效的 MIP 公式 · 跟踪 3 个来源

研究人员开发了 FormuEvo，这是一个利用 LLM 引导的进化来发现更高效的混合整数规划 (MIP) 公式的创新框架。该方法解决了当前 LLM 的局限性，这些 LLM 通常优先考虑语义正确性而非公式的强度，从而阻碍了求解器的性能。FormuEvo 采用进化优化，使用 LLM 驱动的操作和求解器统计数据进行有针对性的改进，并结合结构化内存以实现可重用策略。实验表明，FormuEvo 的性能显著优于现有方法，将求解器速度提高了 5.5…