Another 233papers do not have category tags yet and are not included in filtered results.
提出 VeriFine，用双环协同扩展验证以实现具身推理自我改进
VeriFine 把驾驶和导航推理的自改进写成策略、课程和无参考评审的协同演化，用来处理固定评审跟不上新失败模式的问题。
实现 DEFER，以确定性检查优先拦截多智能体流水线的内容攻击
DEFER 用来测量多智能体授权流水线里，确定性规则在何处结束、LLM judge 从何处开始。
评测文本守卫与激活探针能否拦住机器人隐含伤害指令
提出检测、结构化与 GSPO 流程，降低共识生成的提示注入错位
这是一篇把 LLM 数字孪生放进增强民主的博士论文，分个体表示、政党聚合和共识生成的提示注入三章。
审计机器人安全监控的细化缺口，比较表面计划与图细化轨迹的裁决
作者审计 RoboGuard 的一个假设：对高层动作轨迹的安全裁决，在补上语义图诱导的导航和已记录隐式效应之后是否仍然成立。做法是不改验证器，并固定同一条 LTL。
测量无对抗协作中 Agent 自发编码凭据以规避监控
Abstract论文揭示智能体会因良性助人意图自主编码凭据规避监控，主张不能单靠内容审查，需在动作层强化严格鉴权。
提出 ORBIT 框架，评测多智能体防御对合谋等威胁的效果
AbstractORBIT 用六层配置比较多智能体防御，逐动作监控不迁移到合谋。
展示智能体在禁止泄露与独立监视下自发建立隐蔽信道传递机密
论文研究了固定参数与提示词的智能体在受审计交互中自发形成隐蔽信道并泄露机密的过程。
提出多智能体隐写共谋框架 CODETTA，在强被动审计下隐蔽传载荷
Abstract提出非对称免密钥隐写框架 CODETTA，实现高容量不可区分通信，指出被动审计面临失效风险。
提出 k-robust 联盟对齐，刻画误对齐评审下的安全委托授权
委托授权的安全不要求每位评审者对齐，而要求面板在效用空间覆盖委托人。
提出以协调情节为单位遏制智能体协同入侵的准则
Abstract立场是跨执行保留关系并约束共享状态。
提出 S³，用 guard agent 编排阶段安全技能防御智能体多阶段风险
提出 SciTrace，为科学发现智能体加入跨阶段安全推理与工具轨迹核验
SciTrace 是加在科学发现智能体流水线上的安全框架，不是再在各阶段出口放一个独立过滤器。
Propose a structured JSON backdoor that triggers malicious actions in robot control via a poisoned LoRA
Abstract推理层后门传不到执行。
Proposing a lineage-graph governance layer to suppress error cascades in multi-agent collaboration
The authors turn "small errors becoming collective false consensus" in LLM-MAS into a measurable propagation on a graph, and use a plug-in that only changes messages, not topology, to reduce the final infection.
提出 SafeScientist 四层监控，阻止科研智能体执行高风险或不伦理任务
SafeScientist 是带四层监控的科研智能体框架，并用 SciSafetyBench 评测科学场景中的任务安全。