A Self-Improving Agent that Grows its Own DSL: Oracle-Free Operator Induction for Exact Question Answering
中文摘要
由模型生成 · 人工抽检该论文提出一种无需奖励、评判模型或答案键的自改进智能体：在精确DSL上运行内外双循环，内循环靠两个独立表达式一致才作答，外循环自主发现缺失能力并编写算子，仅当独立第二实现一致且满足守恒律时才接纳。实验显示其可三倍扩大可答问题集，并拒绝138/138个有缺陷算子变体，在业务账本与临床问答等新领域可自扩展十倍以上。
全文
已译中文[Submitted on 14 Oct 2026]
标题：
一个自我改进、自行生长 DSL 的智能体：面向精确问答的无 Oracle 算子归纳
查看题为《一个自我改进、自行生长 DSL 的智能体：面向精确问答的无 Oracle 算子归纳》的论文 PDF，作者为 Yun-Shiuan Chuang 及其他 8 位作者
查看 PDF
HTML（实验性）
摘要：
一个自我改进的智能体必须决定保留哪些新技能，而在实践中，它保留的是那些能获得高奖励、说服评判模型或压缩其技能库的技能，即使该技能是错误的。在答案必须完全精确之前，这没有问题：在一张交易表上，总额要么正确要么错误。我们提出一个更难的问题：智能体能否在没有奖励、没有评判模型、没有答案键的情况下，扩展其可计算的能力，并且仍然完全精确？一个单一的冻结模型在一个小型、精确的领域特定语言（DSL）上运行两个嵌套循环。内层循环仅当两个独立编写的表达式在每条记录上一致时才回答新问题。外层循环发现自身缺失的能力并为其编写一个算子，仅当一个独立的第二实现表示同意且结果服从守恒定律时才予以接纳，全程无需真实答案。内层循环将可回答问题集大致扩大了三倍，外层循环在不相交的起始集上自我扩展，发明出起始闭包之外的算子；一个无归纳的对照组对新问题一个都答不出来。接纳规则在经验上是可靠的：在一个独立参照下，它拒绝了138个有缺陷的算子变体中的138个，即使其中一个是由不同模型家族编写的，而该领域所依赖的“能运行就接纳”、自一致性和压缩信号则会接纳其中大多数。未经修改，同一机制在两个具有不相关模式的进一步领域上自我扩展——商业账本和临床问诊问答——将其可回答集分别扩大十倍以上和近二十倍。该循环也能跨模型家族迁移：用更多提议者运行时，门控保持可靠，独立家族以相当的程度自我扩展，只有归纳产出与每个提议者的DSL流利度相关。
提交历史
发件人：Yun-Shiuan Chuang [
查看邮件
[v1]
2026年10月14日星期三 18:55:34 UTC（1,403 KB）
本译文由模型自动生成，仅供参考与快速理解；涉及数字、版本、命令、法律条文等请以原文为准。
原文附件
2 个 · 均跳转原站，本站不托管文件正文为原站公开内容的抓取与清洗结果，英文条目附模型生成的中文译文；两者均仅供参考， 准确内容请以原站为准。内容版权归原作者所有，若认为侵权请联系我们下线。