SAGE：利用LLM引导进化生成MILP符号加速不等式族

SAGE框架通过LLM引导进化自动化发现MILP加速不等式族，在7个基准上相对基线降低最优性间隙最高达62.1%。 该框架结合LLM初始化候选不等式，并通过进化交叉与变异迭代精炼，利用经验筛选而非数学证明。 不同LLM后端及求解器设置下的消融实验验证了SAGE的稳健性，代码已公开。