Skip to content

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

Oct 12 · Monday

All papers

Found 5 papers
Filter1
Select any value within a category; different categories must all match. Counts include the other filters you have selected.Another 265papers have no tags yet and are not included in filtered results.

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

  1. OtherarXiv 2610.02662

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

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

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

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

    Paper analysisRead analysis
  2. 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
  3. OtherarXiv 2609.25413

    论文提议前沿 AI 开发者开展嵌入式评估

    提议前沿开发者托管嵌入式评估,审查内部智能体监控、权限与对齐

    Published
    Setting
    AI Agent
    Abstract论文建议前沿开发者现在就以接近员工的现场访问,持续审查内部监控、权限与对齐。

    嵌入式评估是一种第三方评估:独立评估者在前沿 AI 开发者现场获得接近员工的系统、人员与文档访问,用来审查依赖内部系统与实践的风险。

    Paper analysisRead analysis
  4. OtherarXiv 2609.10630

    论文提出 AI 安全设计保障架构:结合 Scientist AI 模型级监督与系统级控制

    提出结合 Scientist AI 监督与系统级控制的智能体保障架构

    Published
    Setting
    AI Agent
    Abstract作者梳理事件中的多层失效,主张监督模型、系统控制与证据治理并用。

    Lu 与 Bengio 给出的是一套可逐层上移的保障架构和一组事件归类,不是已测量的防御系统。

    Paper analysisRead analysis
You have reached the end