机构
*
Case Western Reserve University(凯斯西储大学)
;
Shanghai Jiao Tong University(上海交通大学)
;
Massachusetts Institute of Technology(麻省理工学院)
;
Columbia University(哥伦比亚大学)
;
University of California, Riverside(加州大学河滨分校)
;
Nanyang Technological University(南洋理工大学)
;
New York University(纽约大学)
;
Salesforce(Salesforce公司)
;
Harvard University(哈佛大学)
;
Stanford University(斯坦福大学)
Understanding Reasoning from Pretraining to Post-Training
理解从预训练到训练后阶段的推理
Jingyan Shen, Ang Li, Salman Rahman, Yifan Sun, Micah Goldblum, Matus Telgarsky, Pavel Izmailov
机构
*
New York University(纽约大学)
;
Modal Labs(模态实验室)
;
University of California, Los Angeles(加州大学洛杉矶分校)
;
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Columbia University(哥伦比亚大学)
Human agency in initial human-AI proof formalization workflows
表征初始人机交互的证明形式化工作流
Katherine M. Collins, Simon Frieder, Jonas Bayer, Jacob Loader, Jeck Lim, Peiyang Song, Fabian Zaiser, Lexin Zhou, Shanda Li, Sam Looi, Joshua B. Tenenbaum, Umang Bhatt, Adrian Weller, Jose Hernandez-Orallo, Cameron E. Freer, Valerie Chen, Ilia Sucholutsky
机构
*
Massachusetts Institute of Technology(麻省理工学院)
;
University of Cambridge(剑桥大学)
;
Princeton University(普林斯顿大学)
;
University of Oxford(牛津大学)
;
Caltech(加州理工学院)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Universitat Politècnica de València(瓦伦西亚理工大学)
;
New York University(纽约大学)
Test-time Generalization for Physics through Neural Operator Splitting
通过神经算子分裂实现物理中的测试时泛化
Louis Serrano, Jiequn Han, Edouard Oyallon, Shirley Ho, Rudy Morel
机构
*
Flatiron Institute, New York(Flatiron 机构,纽约)
;
New York University(纽约大学)
;
Princeton University(普林斯顿大学)
;
Sorbonne Université, CNRS, ISIR, Paris(索邦大学,CNRS,ISIR,巴黎)
机构
*
Columbia University(哥伦比亚大学)
;
Department of Computer Science, New York University(纽约大学计算机科学系)
;
Microsoft Research(微软研究院)
;
Center for Data Science, New York University(纽约大学数据科学中心)