AI Agent

VET Your Agent: Towards Host-Independent Autonomy via Verifiable Execution Traces

验证你的代理：通过可验证的执行轨迹实现主机无关的自主性

Artem Grigor, Christian Schroeder de Witt, Simon Birnbach, Ivan Martinovic

机构 * University of Oxford（牛津大学） 纠错

专题命中 工具调用 ：agent(title,abstract)；autonomous agent(abstract)；分类 cs.AI

AI总结 VET通过可验证的执行轨迹实现主机无关的自主性，为未来完全自主的代理系统奠定基础。

Optimizing Agentic Language Model Inference via Speculative Tool Calls

通过推测性工具调用优化代理语言模型推理

Daniel Nichols, Prajwal Singhania, Charles Jekel, Abhinav Bhatele, Harshitha Menon

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

AI总结 本文通过推测性工具调用优化代理语言模型推理，提升推理吞吐量并提供理论分析与工具缓存API。

INTELLECT-3: Technical Report

INTELLECT-3：技术报告

Prime Intellect Team, Mika Senghaas, Fares Obeid, Sami Jaghouar, William Brown, Jack Min Ong, Daniel Auras, Matej Sirovatka, Jannik Straube, Andrew Baker, Sebastian Müller, Justus Mattern, Manveer Basra, Aiman Ismail, Dominik Scherm, Cooper Miller, Ameen Patel, Simon Kirsten, Mario Sieg, Christian Reetz, Kemal Erdem, Vincent Weisser, Johannes Hagemann

机构 * Prime Intellect, Inc.（Prime Intellect公司） 纠错

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

AI总结 INTELLECT-3是一款通过大规模强化学习训练的混合专家模型，开源了模型和基础设施栈，并引入了prime-rl框架以支持大规模异步强化学习。

Comments 27 pages, 10 figures