研究人员开发了 FormuEvo，一个新颖的框架，它使用大型语言模型 (LLM) 来指导进化过程，以发现更高效的混合整数规划 (MIP) 公式。该方法旨在通过关注公式强度，而不仅仅是语义正确性，来提高求解器的性能。FormuEvo 包含一个求解器知情的诊断机制和一个结构化内存来抽象可重用策略，使其能够通过将求解器加速高达 5.5 倍来超越专家设计的公式和现有的基于 LLM 的方法。 AI
影响 该框架可以通过生成更有效的数学模型，显著加快运筹学和工业应用中的优化过程。
排序理由 这是一篇研究论文，详细介绍了使用 LLM 发现高效混合整数规划公式的新框架。[lever_c_demoted from research: ic=1 ai=1.0]
在 arXiv cs.NE (Neural & Evolutionary) 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
