跳到正文
热点事件持续更新

SAGE用LLM自动发现MILP加速不等式族

1 篇报道1 个报道来源10 小时前更新

先了解这件事

AI 综述

Milad Yazdani等作者提出SAGE框架,用大语言模型生成候选加速不等式族,再经可采纳性与影响筛选、进化交叉和变异迭代精炼,把混合整数线性规划(MILP)建模层面的符号发现自动化。 作者在七个MILP基准上报告,SAGE将最优性差距最多缩小62.1%,以shifted geometric mean计最多快5.51倍达到目标差距;消融实验显示,换用不同LLM后端、求解器及内部割设置时结果保持稳健。这些数字均为作者自报的实验结果。

AI 根据报道生成 · 51 分钟前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月21日
  1. arXiv cs.AI
    SAGE:用 LLM 引导进化符号加速不等式族,优化 MILP 求解

    研究提出 SAGE 框架,通过 LLM 初始化候选加速不等式族,经可采纳性与影响筛选后,用进化交叉和变异智能体迭代精炼,实现 MILP 建模层面的符号发现自动化。在七个 MILP 基准上,SAGE 将最优性差距最多缩小 62.1%,并以 shifted geometric mean 计最多快 5.51 倍达到目标差距。消融实验显示其在不同 LLM 后端、求解器及内部割设置下均保持稳健。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。