AgentBeats: Agentifying Agent Assessment for Openness, Standardization, and Reproducibility
AgentBeats:面向开放性、标准化和可复现性的智能体评估代理化
Xiaoyuan Liu, Jianhong Tu, Yuqi Chen, Siyuan Xie, Sihan Ren, Tianneng Shi, Gal Gantar, Evan Sandoval, Donghyun Lee, Daniel Miao, Peter J. Gilbert, Nick Hynes, Mauro Staver, Warren He, David Marn, Andrew Low, Xi Zhang, Elron Bandel, Michal Shmueli-Scheuer, Siva Reddy, Alexandre Drouin, Alexandre Lacoste, Ramayya Krishnan, Elham Tabassi, Yu Su, Victor Barres, Chenguang Wang, Wenbo Guo, Dawn Song
机构
*
University of California, Berkeley(加州大学伯克利分校)
;
Purdue University(普渡大学)
;
University of Ljubljana(卢布尔雅那大学)
;
University of Washington(华盛顿大学)
;
Oasis Labs
;
University of Maryland(马里兰大学)
;
IBM Research(IBM研究院)
;
Mila
;
McGill University(麦吉尔大学)
;
ServiceNow Research(ServiceNow研究院)
;
Carnegie Mellon University(卡内基梅隆大学)
;
National Institute of Standards and Technology(美国国家标准与技术研究院)
;
The Ohio State University(俄亥俄州立大学)
;
University of Cambridge(剑桥大学)
;
University of California, Santa Barbara(加州大学圣塔芭芭拉分校)
CommentsThis manuscript has been withdrawn by the authors due to errors discovered in the implementation and experimental evaluation. These errors materially affect the reported results and conclusions. The authors therefore do not recommend using or citing this work
机构
*
BenchFlow
;
OSU
;
Amazon
;
UC Berkeley
;
UC Santa Cruz
;
UC Davis
;
Dartmouth
;
RLWRLD
;
Independent
;
Princeton University
;
Oxford University
;
Stanford University
;
USC
;
CMU
;
Foxconn
;
Zenity
;
UNSW
;
UT Austin
;
MSU
;
Duke University
;
ByteDance
;
UT Dallas
;
UC San Diego
;
Columbia University
;
University of Rochester
;
Cornell Tech
;
Georgia Tech
;
Cornell University
;
NEU
;
UCLA
;
Snap Inc.
;
Fanshawe College
;
University of Science and Technology of China
;
HKUST(GZ)
;
Anyscale
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
SorryDB: AI证明者能完成现实世界的Lean定理吗?
Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederick Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas, Lenny Taelman
机构
*
University of California, Berkeley(加州大学伯克利分校)
On the Energy Distribution of the Galactic Center Excess' Sources
银河系中心过量辐射源的能谱分布
Florian List, Yujin Park, Nicholas L. Rodd, Eve Schoen, Florian Wolf
机构
*
Department of Astrophysics, University of Vienna(维也纳大学天体物理系)
;
Theory Group, Lawrence Berkeley National Laboratory(伯克利劳伦斯国家实验室理论组)
;
Berkeley Center for Theoretical Physics, University of California(加州大学伯克利分校理论物理中心)
;
University of California, Berkeley(加州大学伯克利分校)
;
Lawrence Berkeley National Laboratory(伯克利劳伦斯国家实验室)