Terminal-World: Scaling Terminal-Agent Environments via Agent Skills
Terminal-World: 通过智能体技能扩展终端智能体环境
Zihao Cheng, Hongru Wang, Zeming Liu, Xinyi Wang, Xiangrong Zhu, Yuhang Guo, Wei Lin, Jeff Z. Pan, Yunhong Wang
机构
*
School of Computer Science and Engineering, Beihang University, Beijing, China(北京航空航天大学计算机科学与工程学院)
;
Independent Researcher(独立研究者)
;
Beijing Institute of Technology(北京理工大学)
;
University of Edinburgh(爱丁堡大学)
Position: agentic AI orchestration should be Bayes-consistent
位置:代理AI协调应具有贝叶斯一致性
Theodore Papamarkou, Pierre Alquier, Matthias Bauer, Wray Buntine, Andrew Davison, Gintare Karolina Dziugaite, Maurizio Filippone, Andrew Y. K. Foong, Vincent Fortuin, Dimitris Fouskakis, Jes Frellsen, Eyke Hüllermeier, Theofanis Karaletsos, Mohammad Emtiyaz Khan, Nikita Kotelevskii, Salem Lahlou, Yingzhen Li, Fang Liu, Clare Lyle, Thomas Möllenhoff, Konstantina Palla, Maxim Panov, Yusuf Sale, Kajetan Schweighofer, Artem Shelmanov, Siddharth Swaroop, Martin Trapp, Willem Waegeman, Andrew Gordon Wilson, Alexey Zaytsev
机构
*
ESSEC Business School(ESSEC商学院)
;
VinUniversity(文大学)
;
Imperial College London(伦敦帝国理工学院)
;
Mila - Quebec AI Institute(魁北克人工智能研究所)
;
Technical University of Denmark(丹麦技术大学)
;
Pyramidal Inc.(Pyramidal公司)
;
University of Notre Dame(诺特大学)
;
Cognizant AI Lab(Cognizant人工智能实验室)
;
University College London(伦敦大学学院)
;
KTH Royal Institute of Technology(瑞典皇家理工学院)
;
Ghent University(根特大学)
;
New York University(纽约大学)
UCAgent: An End-to-End Agent for Block-Level Functional Verification
UCAgent:一种端到端的块级功能验证代理
Junyue Wang, Zhicheng Yao, Yan Pi, Xiaolong Li, Fangyuan Song, Jinru Wang, Yunlong Xie, Sa Wang, Yungang Bao
机构
*
State Key Lab of Processors, Institute of Computing Technology, CAS(中国科学院计算技术研究所处理器国家重点实验室)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
Beijing Institute of Open Source Chip(北京开源芯片研究院)
DUCTILE: Agentic LLM Orchestration of Engineering Analysis in Product Development Practice
DUCTILE:工程分析中产品开发实践的代理LLM协调
Alejandro Pradas-Gomez, Arindam Brahma, Ola Isaksson
机构
*
Product Development Division, Department of Mechanical Engineering, Chalmers University of Technology, Gothenburg, Sweden(产品开发部门,机械工程系,楚姆勒斯技术大学,哥德堡,瑞典)
;
GKN Aerospace Engine Systems, Trollhättan, Sweden(GKN航空发动机系统,特罗尔哈塔纳,瑞典)
Can Agentic AI Match the Performance of Human Data Scientists?
代理AI能否匹配数据科学家的性能?
An Luo, Jin Du, Fangqiao Tian, Xun Xian, Robert Specht, Ganghua Wang, Xuan Bi, Charles Fleming, Jayanth Srinivasa, Ashish Kundu, Mingyi Hong, Jie Ding
机构
*
School of Statistics, University of Minnesota(统计学系,明尼苏达大学)
;
Department of Electrical and Computer Engineering, University of Minnesota(电气与计算机工程系,明尼苏达大学)
;
Data Science Institute, University of Chicago(数据科学研究所,芝加哥大学)
;
Carlson School of Management, University of Minnesota(卡尔森管理学院,明尼苏达大学)
;
Cisco Research, San Jose, CA, USA(Cisco研究,加州圣何塞)
A Safety and Security Framework for Real-World Agentic Systems
面向现实世界代理系统的安全与安全框架
Shaona Ghosh, Barnaby Simkin, Kyriacos Shiarlis, Soumili Nandi, Dan Zhao, Matthew Fiedler, Julia Bazinska, Nikki Pope, Roopa Prabhu, Daniel Rohrer, Michael Demoret, Bartley Richardson
机构
*
Zhejiang University(浙江大学)
;
School of Engineering, Westlake University(西湖大学工程学院)
;
Peking University(北京大学)
;
Institute of Advanced Technology, Westlake Institute for Advanced Study(西湖先进研究院技术研究所)
机构
*
National Engineering Research Center for Software Engineering, Peking University(软件工程国家工程研究中心,北京大学)
;
School of Software & Microelectronics, Peking University(软件与微电子学院,北京大学)
;
School of Computer Science, Peking University(计算机科学学院,北京大学)
;
Xi’an Jiaotong University(西安交通大学)
;
Institute of Basic Theory of Chinese Medicine, China Academy of Chinese Medical Sciences(中医基础理论研究所,中国中医科学院)