AI Agent

Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use

动态能力治理：用于AI代理工具使用的加密绑定与可重复性验证

Ziling Zhou

专题命中 工具调用 ：agent(title,abstract)；AI agent(title,abstract)；tool use(title)；multi-agent(abstract)

AI总结 本文提出三种代理治理要求，通过加密绑定和可重复性验证解决AI代理动态能力验证问题，证明两个结构定理并验证两种加密方案，展示低开销和高安全性。

Comments 23 pages, 5 figures, 18 tables. Includes 11 experiments, 9 formal security properties, and appendix with proofs

Strategic Navigation or Stochastic Search? How Agents and Humans Reason Over Document Collections

策略导航还是随机搜索？智能体和人类如何在文档集合上进行推理

Łukasz Borchmann, Jordy Van Landeghem, Michał Turski, Shreyansh Padarha, Ryan Othniel Kearns, Adam Mahdi, Niels Rogge, Clémentine Fourrier, Siwei Han, Huaxiu Yao, Artemis Llabrés, Yiming Xu, Dimosthenis Karatzas, Hao Zhang, Anupam Datta

机构 * Snowflake\,AI\,Research ； University\,of\,Oxford ； Computer\,Vision\,Center 纠错

专题命中 工具调用 ：planning(abstract)；agentic(abstract)；分类 cs.AI、cs.CL

AI总结 本文通过MADQA基准测试，探讨智能体与人类在文档检索中的策略性推理与随机搜索差异，揭示最佳智能体在准确性上接近人类，但依赖暴力搜索而非有效策略规划。

On the Capacity of Future Lane-Free Urban Infrastructure

未来无车道城市基础设施的容量

Patrick Malcolm, Klaus Bogenberger

专题命中 工具调用 ：agent(abstract)；multi-agent(abstract)

AI总结 本文通过分析与仿真方法探讨了未来无车道城市交通的潜在容量和空间效率，提出OptWULF方法实现了无车道交叉口的高效管理，验证了容量与街道宽度的连续关系及对称需求模式的适应性。

Comments 9 pages, 8 figures, submitted to IEEE Transactions on Intelligent Transportation Systems

Engineering-Oriented Symbolic Regression: LLMs as Physics Agents for Discovery of Simulation-Ready Constitutive Laws

面向工程的符号回归：LLMs作为物理代理用于发现可模拟的本构定律

Yue Wu, Tianhao Su, Mingchuan Zhao, Shunbo Hu, Deng Pan

专题命中 工具调用 ：agent(abstract)

AI总结 本文提出一种面向工程的符号回归框架，利用LLMs作为物理代理，解决传统工程拟合和数据驱动方法之间的矛盾，通过自动合成物理约束发现稳定的本构定律。