标签
一个由研究人员参与的流程结合了大语言模型引导的程序演化、精确评估和 Lean 形式化证明检查，发现了一个新的纠缠辅助量子纠错码族，以 115 条经验证的记录和 10 项经认证的不存在性结果，填补了已归档的纠缠辅助量子纠错码（EAQECC）表中的 54 处空白。
本文介绍了ε-MemEvo，一个用于基于LLM的程序演化中跨任务知识迁移的框架，它将策略记忆存储为自然语言摘要，并使用自适应注入门控。该框架在8个优化基准上均取得了性能提升，计算开销不到1%。
介绍了ELMER，一种进化语言模型，它搜索自然语言策略描述并将其编译成可执行程序，使用经直接偏好优化微调的Qwen3-8B来控制变异强度并提高搜索效率。
FunL2O提出了一个统一框架，利用LLM驱动的程序演化来自动化学习优化方法中的特征函数设计，在连续和离散优化任务中均展现出优于人工设计特征的一致改进。
该论文介绍了MILP-Evo，这是一个闭环框架，利用LLM引导的程序进化来自动设计白盒MILP求解器组件（割选择器和分支规则），通过迭代生成和评估候选程序，并根据其在MILP实例上的端到端求解性能进行评估。
SMCEvolve 提出了一种原则性框架，用于 LLM 驱动的程序演化，通过将其重新表述为使用序贯蒙特卡洛从奖励倾斜分布中采样。它提供了收敛保证，并在多个科学发现基准测试中优于现有方法。