来自该信源的全部动态 · 共 981 条
论文指出，自然语言到Lean形式化不能只看是否通过编译，因为可类型检查的声明仍可能遗漏假设、改变论域或变成空洞命题。研究将忠实陈述形式化作为评测与瓶颈归因问题，旨在更准确衡量自动定理证明前端能力。
论文将LLM检索智能体的提示词改进视为调试问题，提出对比反思方法：比较失败行为与相近成功行为，提取差异并生成可验证的提示词修改，用于迭代优化查询、答案合成和评测裁判等IR任务，强调可解释诊断而非盲目搜索。
论文提出DDIAgents，一种面向药物-药物相互作用预测的机制条件化多智能体框架。系统根据药物对由规划智能体动态创建专家智能体，并按相互作用机制路由相关生物医学知识，以提升异构证据推理和用药安全预测能力。
论文提出HyPOLE框架，将形式化超性质规范引入部分可观测多智能体强化学习，用于表达目标、约束与策略，引导智能体学习。相比传统奖励塑形，该方法强调数学严谨性和可验证性，适合安全关键、多智能体协作与约束满足场景研究。
论文研究多轮语言智能体中自然语言反馈何时真正带来性能提升，而非仅由重复采样、格式修正或更多测试时计算造成。作者提出受控学生-教师协议，在数学、编程、推理与ARC任务上分离反馈效应。
论文提出 HealthAgentBench，用于评估前沿 AI 智能体在真实医疗场景中的长程推理与任务执行能力。基准包含 7 类、54 个具备独立环境的医疗智能体任务，覆盖患者旅程中的多种工作流与模态，旨在补齐医疗应用落地前的系统性评测缺口。
论文提出 LabGuard，面向具身实验室智能体，把安全规则、手册、协议和标准操作流程等自然语言内容转化为机器可检查的运行时约束，以提升动态实验环境中自动执行实验流程的安全性。
该论文关注自适应智能体的隐藏调控负担：系统外观看似稳定，但维持稳定所需的纠偏控制可能持续上升。作者用计算模型研究噪声、延迟和需求变化下，调控负担是否受历史路径影响，为评估智能体稳健性与治理成本提供视角。
论文关注自动驾驶系统部署前测试中的场景生成问题，提出利用真实道路失效记录生成仿真测试场景，以减少人工设计模板成本，并补足现有方法依赖固定场景表示、偏重数学搜索的局限。
论文提出Janus，一种可插拔LLM记忆控制器，用于在智能体连续任务中判断候选记忆更新是否应被接受，避免局部任务经验覆盖有用知识、引入过度具体规则或造成近因偏置，提升长期行为稳定性。
论文提出ClawArena-Team，用于评测语言模型智能体作为管理者创建、委派并编排子智能体的能力，关注并行、异步返回与动态工作流。该基准试图区分模型自身解题能力与团队调度能力，弥补现有单体任务或固定多智能体评测的空白。
论文关注法律推理任务中的多智能体审议方法，探讨基于大语言模型的智能体如何通过自治行动与协作讨论提升法律场景表现。研究切入法律 AI 与 Agentic AI 交叉领域，补足多智能体法律应用相对缺乏系统探索的问题。
论文研究推理语言模型中学习式早停规则何时优于置信度或收敛阈值。作者提出 LearnStop，在固定预算检查点基于当前推理前缀探测短答案，并用在线特征预测正确性，以权衡准确率与计算成本，为降低推理时延和算力开销提供评估框架。
论文提出NBS-RASN混合神经架构，用于开源生态中的网络安全风险评估。模型以浅层网络结合贝叶斯、符号推理、残差注意力和专家知识，强调在保持准确性的同时提升可解释性，适合安全风险建模研究参考。
论文关注无人交通管理系统的安全测试难题：缺少可暴露故障的示范与明确奖励信号，且系统自愈能力会放大关键故障的长尾效应。研究尝试利用Transformer挖掘潜在碰撞、坠毁等高风险场景，用于发现UTM隐藏脆弱性。
论文提出MedKGTab，用知识图谱注入方法为表格医疗数据做跨域特征扩展，旨在从已采集生物医学特征推断未采集特征，缓解医疗研究中跨域画像获取成本高、数据稀缺的问题。
论文提出RSEA递归自进化智能体，研究在不更新模型权重的情况下，通过反思、工作流、提示词等自然语言资产改进冻结策略。作者强调以统一设置比较此类方法，并用留出选择缓解只在单一基准报喜的问题，指向更可靠的Agent自优化评估。
论文提出HiComm，用层级结构改进合作式多智能体强化学习中的通信机制。不同于将消息视为扁平稠密向量，HiComm利用观测中天然存在的群组、实体等层次关系，引入更强归纳偏置，以缓解部分可观测环境下的信息共享问题。
论文研究多智能体AI中推理轨迹交换带来的可靠性风险：通信既可能纠错，也可能误导原本正确的智能体。作者提出运行时监控方法，在推理交互过程中识别并抑制错误传播，以提升最终决策稳定性，为多模型协作系统的安全部署提供评估思路。
论文研究LLM智能体的记忆机制安全风险：即使当前问题本身干净，历史记忆中被植入的信息也可能持续影响后续多选题回答。作者将记忆视为新的攻击面，分析其对智能体输出可靠性与安全性的影响。