智能AI 2026-06-12 None 杰夫·贝索斯 (Jeff Bezos) 的 Prometheus 筹集了 12B 美元,为物理世界打造“人工智能通用工程师” 来源: Marina Temkin
智能AI 2026-06-12 None Evoflux:紧凑代理可执行工具工作流程的推理时间演化 来源: Kushal Raj Bhandari, Ling Yue, Ching-Yun Ko, Dhaval Patel, Shaowu Pan, Pin-Yu Chen, Jianxi Gao
智能AI 2026-06-12 None TrajGenAgent:用于生成人类移动轨迹的分层 LLM 代理 来源: Siyu Li, Toan Tran, Lingyi Zhao, Khurram Shafique, Li Xiong
智能AI 2026-06-12 None PersonaDrive:用于闭环驾驶模拟的人性化检索增强 VLA 代理 来源: Mahmoud Srewa, Praneetsai Iddamsetty, Mohammad Abdullah Al Faruque, Salma Elmalaki
智能AI 2026-06-12 None Pythagoras-Prover:通过增强精益形式化推进高效的形式证明 来源: Joshua Ong Jun Leang, Zheng Zhao, Mihaela C\u{a}t\u{a}lina Stoian, Qiyuan Xu, Haonan Li, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia
智能AI 2026-06-12 None Arbor:树搜索作为自主代理的认知层 来源: Neha Prakriya, Chaojun Hou, Zheng Gong, Huasha Zhao, Xi Zhao, Mou Li, Zhenyu Gu, Emad Barsoum
智能AI 2026-06-12 None ToolSense:用于审核法学硕士参数化工具知识的诊断框架 来源: Ashutosh Hathidara, Sai Shruthi Sistla, Sebastian Schreiber, Sahil Bansal