Skip to content

Translation in progress Some entries still include text in the original language.

Oct 13 · Tuesday

All papers

Found 33 papers

Another 215papers do not have category tags yet and are not included in filtered results.

  1. OtherarXiv 2610.13912

    RSI-Anything: Unlocking Recursive Self-Improvement with World Models

    Proposes RSI-Anything, which uses a world model to select candidates and retain policy updates.

    Published
    Evaluated models
    ReasonFlux-Coder-7B, 4B policy, W1
    AbstractRSI-Anything integrates world models into recursive self-improvement through prediction, feedback, and retention checks, and reports gains across multiple domains.

    RSI-Anything is a cross-domain framework: it uses world model predictions to decide which candidates to take external feedback for, then uses the feedback to decide whether the policy, workflow, or predictor is updated, and uses checks to decide which pair is retained. The difficulty to address is the limited interaction budget, and the fact that once the policy changes, the candidate distribution faced by the predictor also changes. The authors argue that improving only one side does not guarantee that the assembled system will be better.

    Paper analysisRead analysis
  2. OtherarXiv 2610.13491

    EviRepair: Evidence-Driven Agents for Reliable Vulnerability Repair

    Proposing EviRepair, an evidence-driven multi-agent framework for repository-level vulnerability repair

    Published
    Evaluated models
    DeepSeek-V4.1-Flash, GLM-5.2, Qwen3.8-27B
    AbstractEviRepair uses a reviewed vulnerability model for repository-level repair.

    EviRepair is a repository-level automated vulnerability repair framework for sparse vulnerability reports, using a reviewed vulnerability model to separate diagnosis from patch synthesis.

    Paper analysisRead analysis
  3. OtherarXiv 2610.13479

    A local agentic AI framework generates edge-case scenarios for safety assurance

    Proposes a local dual-model closed loop to generate edge scenarios for autonomous system safety assurance

    Published
    Evaluated models
    PPO
    AbstractLocal closed-loop generation of JSON edge cases.

    The authors built a local agentic loop that runs on a laptop to generate edge cases for safety arguments of autonomous systems, rather than releasing a new public test set.

    Paper analysisRead analysis
  4. OtherarXiv 2610.13372

    Toward Safe World Models: Risks, Defenses, and Evaluation

    A survey of risks, defenses, and evaluation in the six-stage lifecycle of world models

    Published
    AbstractSafety is written as a property of the prediction-decision closed loop; claims must be linked to observed consequences and versions.

    World model safety is organized by the nature of the prediction-decision loop, not by isolated prediction scores.

    Paper analysisRead analysis
  5. OtherarXiv 2610.11959

    MiMo-V2.6: Toward Self-Improvement via Scaled Reinforcement Learning

    Extending reinforcement learning for full-modality foundation models to support agent self-improvement

    Published
    Evaluated models
    MiMo-V2.6-Pro, MiMo-V2.6-Flash, MiMo-V2.6-Distill-Qwen-9B
    AbstractThe series uses three-dimensional RL and group scoring to improve agent scores; the authors claim the final performance is comparable to frontier models.

    MiMo-V2.6 is an all-modality MoE technical report, pursuing agent self-improvement by scaling up RL computation, environments, and scoring.

    Paper analysisRead analysis
  6. OtherarXiv 2610.11467

    GROB studies the attribution boundaries of autonomous agent activity using public web traces

    提出 GROB,用只读公开痕迹保存候选智能体线索并检验归因边界

    Published
    Abstract作者称 Census 是最强例。

    GROB 是一套多角色架构,在没有特权遥测、也不预先指定目标时,从公开网页痕迹里保存候选自主智能体活动,供日后解析。

    Paper analysisRead analysis
  7. OtherarXiv 2610.08917

    CARE:为视觉-语言-动作模型推理加速提供认证式选择

    提出 CARE,离线认证 VLA 加速配置的回合级失败风险并选出最快合格候选

    Published
    Evaluated models
    OpenVLA-OFT, π0.5, π0 and others5
    AbstractCARE 以配对回合认证加速诱发失败,在预算内选最快候选,不足则保留参考。

    CARE 在部署前从加速配置中选出最快、且加速诱发失败风险能被有限样本认证为低于用户预算的候选。证据不足就保留全计算参考策略。

    Paper analysisRead analysis
  8. OtherarXiv 2610.05689

    研究者提出用可逆神经网络为 AI 控制系统寻找可证明的前向不变集

    提出用可逆网络为给定 AI 控制器寻找可证明前向不变集

    Published
    Evaluated models
    Pendulum AI-controller, Cart pole AI-controller, PVTOL AI-controller
    Abstract用潜空间超矩形加解析验证,为事先给定的 AI 控制器寻找 FIS。

    本文处理的是认证场景:AI 控制器事先给定,不能为了构造 Lyapunov 函数去改控制器,却仍要给出可解析核验的安全依据。

    Paper analysisRead analysis
  9. OtherarXiv 2610.02662

    论文发现语言驱动机器人安全监控的细化缺口:安全高层计划可能产生不安全执行

    审计机器人安全监控的细化缺口,比较表面计划与图细化轨迹的裁决

    Published
    Abstract表面轨迹可漏掉图诱导的禁区进入。

    作者审计 RoboGuard 的一个假设:对高层动作轨迹的安全裁决,在补上语义图诱导的导航和已记录隐式效应之后是否仍然成立。做法是不改验证器,并固定同一条 LTL。

    Paper analysisRead analysis
  10. OtherarXiv 2609.39982

    Mid-Harness:在模型与 Harness 之间扩展终端智能体的动作采样

    提出 Mid-Harness,在执行前验证并筛选终端智能体的候选动作

    Published
    Evaluated models
    TMAX-9B, TMAX-4B, TMAX-27B and others6
    AbstractMid-Harness 在执行前选择候选动作。

    Mid-Harness 在不改生成器和执行 harness 的前提下,于二者之间做动作级测试时计算,用来研究终端智能体里“多采样、再验证”何时提高轨迹成功。

    Paper analysisRead analysis
  11. OtherarXiv 2609.38807

    PatchHolmes:基于列表式选择的智能体补丁检索系统

    提出 PatchHolmes,用混合检索和列表式智能体选出 CVE 修复提交

    Published
    Evaluated models
    Qwen3-235B, Qwen3-Coder-30B, gpt-oss-120B and others4
    AbstractPatchHolmes 用混合检索和列表式四工具智能体做补丁检索,增益主要来自联合阅读候选而非更换骨干。

    PatchHolmes 是面向补丁检索的两阶段系统:在本地 Git 仓库上用冻结开源权重模型,为一个已知 CVE 找出修复提交,不做按仓库微调,也不使用付费外部搜索 API。

    Paper analysisRead analysis
  12. OtherarXiv 2609.35266

    面向软件交付决策门禁的智能体安全审计器持续保障机制

    提出 TAIP 持续保障,在策略或证据变化后重算仓库审计交付门裁决

    Published
    AbstractTAIP 把策略、证据和执行分开,在保留的 RepoAudit 证据上于 5s 预算内重算合并门姿态。

    TAIP 是放在未修改 RepoAudit 之外的保证层,用来在软件交付门上重算智能体安全控制的当前姿态。

    Paper analysisRead analysis
  13. OtherarXiv 2609.34426

    Q-learning Penalized Transformer(QPT):面向安全离线强化学习的训练-推理一致框架

    提出 QPT,用奖励与成本 Q 惩罚训练满足约束的离线强化学习策略

    Published
    AbstractQPT 把条件 Transformer 与奖励/成本 Q 惩罚连成训练–推理一致的安全离线 RL 方法。

    QPT 针对安全离线 RL:只从离线数据学习,同时处理约束满足、回报最大化和行为正则,并希望部署时更换成本阈值而无需重训。

    Paper analysisRead analysis
  14. OtherarXiv 2609.33987

    Opera:面向长程编码 Agent 的口头批评者框架

    提出 Opera 口头批评框架,跟踪长程编码 Agent 的执行纠正

    Published
    Evaluated models
    Qwen3.5-9B (thinking), Muse-glimmer-30B (high), Qwen3.8-27B (xhigh) and others4
    AbstractOpera 用可审计的持久纠正笔记提升长程编码智能体,并可用引导轨迹做近似 on-policy 微调。

    Opera 是给长程编码智能体用的口头批评框架:每次纠正是一条要跟到解决的持久笔记,而不是一次性评语。

    Paper analysisRead analysis