- 论文公开站arXiv
Turbo Harness：实例自适应框架优化
Turbo Harness: Instance-Adaptive Harness Optimization
自动化搜索有效框架是实现智能体递归自我改进的重要一步。现有优化通常产出统一应用于所有任务的单一全局框架，但适用于某类任务的框架未必通用。
- 论文公开站arXiv
面向广义任务与运动规划问题的编码智能体
Coding Agents for Generalized Task and Motion Planning Problems
摘要显示，研究探讨编码智能体能否通过合成跨实例泛化的程序来自动化广义任务与运动规划（TAMP）。在 KinDER 与 PDDLStream 的 28 个模拟环境中，对 Claude Code（Opus 5）和 Codex（GPT-5.6 Sol、GPT-6 Astra）进行评估，共在 98,000 个评估回合中测试 980 个生成程序。结果显示，三种智能体配置在平均成功率上均优于手工规划器、单次生成及基于 LLM 的基线（56%–95%…
意义：表明编码智能体可自动合成泛化规划程序，减少 TAMP 领域工程投入，为机器人规划与程序合成提供新范式。
- 论文公开站arXiv
考虑夹爪的不规则物体自动密集装箱
Gripper-Aware Automatic Dense Packing of Irregular Objects
摘要显示，该研究提出一套闭环流水线，将感知、夹爪感知的放置优化与力引导执行集成于真实机械臂，用于不规则物体的自动密集装箱。优化器把物体与夹爪建模为分层球树的单一复合体，在GPU上以CMA-ES搜索五个自由度，垂直坐标依当前高度图解析确定；执行时采用力监测垂直下降并在首次接触停止，释放后通过整并推压消除夹爪感知规划残留的横向间隙，且每次放置后重新感知容器以避免漂移累积。系统在Franka Emika Panda机器人上以3D打印平板、曲面…
意义：把夹爪几何与执行漂移纳入装箱规划闭环，为真实机器人密集码放提供可复现的工程路径，对仓储自动化与操作策略研究有直接参考价值。
- 论文公开站arXiv
Designer-RSI：从用户流量中演化程序化记忆的智能图形设计
Designer-RSI: Evolving Procedural Memory from User Traffic for Agentic Graphic Design
摘要显示，该研究提出一种持续适应框架：冻结的前沿模型通过230多个工具操作专业设计软件，外部程序性记忆以自然语言技能形式从经验中积累并精炼可复用设计流程。记忆通过获取新子任务流程而扩展、依据自身成功与失败执行修订而深化，匹配重放门控仅接纳不损害已有成功的修复。在1406个真实用户简报、1869条自动评分轨迹上经五轮迭代，技能库从76增至139，GenEval2执行成功率由72.7%升至99.3%。
意义：为长程智能体任务提供无需微调、无人工标注的持续学习路径，程序性记忆机制对设计自动化及通用Agent技能积累有直接借鉴价值。
- 论文公开站arXiv
从法规到实施：LLM辅助行业合规的关键评估
From Regulation to Implementation: A Critical Evaluation of LLM-Assisted Regulatory Compliance in Industry
欧盟在可持续发展和隐私法规方面处于领先地位，但合规文档如数字产品护照（DPP）和数据保护影响评估（DPIA）的创建面临挑战。工业数据格式异构且分散，DPIA缺乏标准化。研究提出使用LLM生成合规文档，但数据提取指令和法规模糊性对输出质量的影响未充分探讨。本文通过基准测试不同模型与人工创建的真实模式对比，评估了这些因素对LLM生成的合规工件质量和一致性的影响。
意义：为LLM在合规文档生成中的应用提供了关键评估，揭示了数据提取和法规模糊性对输出的影响，对开发可靠的合规自动化工具具有重要意义。
- 论文公开站arXiv
凸集图上Steiner旅行商问题的统一分支定界搜索
Unified Branch-and-Bound Search for the Steiner Traveling Salesman Problem on Graphs of Convex Sets
摘要提出了一种在凸集图（GCS）上求解Steiner旅行商问题（Steiner-TSP）的统一分支定界搜索方法，该问题要求寻找通过所需凸集的最小成本闭合轨迹，允许可选中转顶点和重复访问。通过根行走前缀的搜索，利用加性下界图成本和割分离连通流松弛来界定前缀和剩余成本。在均匀正成本假设下，最佳优先遍历在有限次扩展后终止，深度优先遍历在有限可行解存在时终止。对于用户指定的因子ε≥1，全局下界保证任一策略的解成本至多为全局最优的ε倍。在移动机械…
意义：为机器人路径规划等组合优化问题提供统一求解框架，兼顾最优性保证与计算效率，对AI决策与自动化领域有参考价值。
- 论文公开站arXiv
AI从应用到硅片的权威验证：一人五周流片RISC-V，零人工审查
AI with Authority, from Application to Silicon
摘要显示，生成式AI使机器验证从昂贵开销变为高效必需。一名研究人员在五周内，利用消费级AI订阅，指挥AI代理从应用代码经验证编译器到RISC-V处理器流片，全程无人工审查、无人工编写RTL。所采用的Salt方法基于证明内核，杜绝幻觉证明，验证从Lean 4内核到硅边界SAT检查逐环相扣。记录显示错误账本编号至#256，零错误证明进入记录。
意义：展示AI代理在硬件设计中的可靠协作范式，验证自动化证明与人类监督的结合，对提升AI开发效率与信任度有指导意义。
