机构
*
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(伯克利劳伦斯国家实验室)
Traditional machine learning vs. deep learning from dynamic graph representations of proteins' 3D folds in the task of protein structure classification
传统机器学习 vs. 深度学习在蛋白质三维折叠动态图表示中的蛋白质结构分类任务
Aydin Wells, Francis A. Gatsi, Aaron Striegel, Tijana Milenković
机构
*
University of California, Berkeley(加州大学伯克利分校)