★ 3
研究者用 LLM 程序进化发现纠缠辅助量子码族
研究团队构建研究者参与的发现流程，结合程序进化、精确评估、形式化证明检查，用于纠缠辅助量子纠错码。演化程序产出有限量子比特构造，被推广为通用码族并由 Lean 验证，填补归档表中 54 个空缺，释放 115 条已验证码记录。
arXiv cs.AI2 小时前
#程序进化
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
AGAR：将LLM程序进化形式化为强化学习基底
论文提出AGAR，把LLM程序进化写成马尔可夫决策过程，动作是模型所条件的模块化前缀而非其输出程序。信用分配、价值估计、自适应探索与经验记忆可分别挂载，在19个任务上多数优于两个已发表基线。
arXiv cs.AI25 天前