统计日期 2026-11-13·本期 2 篇·问题与新思路速读
统计范围：北京时间 2026-11-13 00:00–24:00首次提交、截至检索时已公开并被 arXiv 编目的匹配论文。完整取得 2 篇候选，本期收录 2 篇。
阅读依据：论文标题、摘要与可核对元数据。下文是摘要速读，未逐篇全文审阅或独立复现。
昨日研究概览
本组论文共同关注如何把复杂的知识与规则处理变成可计算、可验证且成本可控的系统。前者把智能体记忆设计交给程序进化，用诊断—提案循环搜索整体方案，并发现保留原始对话、按查询意图组合证据等可复用模式；后者把封闭法章语义归约为有限状态自动机，以形式化不变量与受限解码把裁决与语言生成分离。前者兼顾准确率与服务成本，后者强调可判定性与强约束保证。
逐篇看：问题与新思路
01. 程序进化发现有效的智能体记忆设计
原文：Discovering Effective Agent Memory Designs through Program Evolution
要解决的问题： 人工设计的记忆程序难以系统比较记忆构建与查询时处理的取舍：抽取记忆会丢失对话细节，全程依赖大模型构建又推高服务成本，固定组件组合也缺少统一评估口径，因此需要能迭代诊断并改写整体记忆方案的搜索机制。
新颖的想法： 提出MAPE：从种子程序出发，经标准化生命周期接口与“诊断—提案”循环进化整套记忆程序；保留原始对话作为可检索证据，补回抽取记忆遗漏的细节，并按查询意图组合检索内容。摘要报告：在LoCoMo与LongMemEval上较人工设计基线最高提升12%绝对准确率、成本为基线的35%，且可跨服务骨干与基准迁移；组合模块移植到5个既有记忆系统后准确率均提升，成本目标会把计算从LLM记忆构建转向查询时选择性处理。
入选线索： 摘要或评论提供代码、模型或数据链接线索
02. 有限状态机约束法理裁决生成
要解决的问题： 伊斯兰法理裁决既面临章节层级、规则组合与Tartib等时序条件的可判定表示难题，又需防止大模型越出认识论边界、产生裁决幻觉、事实幻觉与语义反转，因此裁决依据需先形式化为可验证的计算表示，再交由语言模型生成可读文本。
新颖的想法： 提出Al-Ghasali：封闭法章语义可完全归约为确定性FSA，限定于有限命题Horn理论即保证可判定性，离线编译后O(1)提取裁决，子章FSA层级组合同样保持O(1)，仅Tartib等时序要求被确定性展平为静态本体状态并保留无记忆性。裁决由FSA决定、LLM仅作语言转述；由执行历史动态构造无歧义右线性语法做语法引导约束解码，配合有界中性词表与价态锁定，作者主张在该设计条件下三类幻觉绝对不存在。
入选线索： 按方向匹配及摘要中的方法贡献线索入选；发表和机构权威线索未核实
来源、筛选与阅读边界
Top 10 是可解释的阅读优先级，不是公认学术权威排名。排序参考作者标注的发表/录用信息、作者区的机构原文、研究发布和开源线索，再结合方向与方法贡献线索；未提供的依据不从作者姓名或模型常识推断。arXiv 元数据中的录用信息仍是作者标注，不等于本站独立核实了会议录用。
同一论文可以属于多个研究方向；每个方向内部按基础论文 ID 去重，版本更新不另算新论文。候选按首次提交时间筛选，不把旧论文的新版本当作昨天新论文。超过十篇时筛选十篇，不足十篇按实际数量收录。
检索截至：2026.11.14 08:16（北京时间）。本方向共 2 篇候选，本期收录 2 篇。
查询记录：第 1 页。
本文由 AI 研究助手整理并进行来源审校。新颖性为作者的贡献主张，摘要可能省略关键条件；涉及采用、复现或投资决策时，请继续阅读原文。arXiv 收录不代表已经通过同行评审。
有 AI 项目想法？一起聊聊。
欢迎交流实践、寻找伙伴，或聊聊你的项目需求。
