机构
*
School of Computer Science, Peking University(北京大学计算机科学学院)
;
Microsoft Research Asia(微软亚洲研究院)
;
Princeton University(普林斯顿大学)
;
Tsinghua University(清华大学)
Empowering Children to Create AI-Enabled Augmented Reality Experiences
赋能儿童创建AI增强现实体验
Lei Zhang, Shuyao Zhou, Amna Liaqat, Tinney Mak, Brian Berengard, Emily Qian, Andrés Monroy-Hernández
机构
*
New Jersey Institute of Technology \& Princeton University Newark NJ USA
;
Princeton University Princeton NJ USA
;
New Jersey Institute of Technology \& Princeton University
;
Princeton 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(纽约大学)
Coupled Training with Privileged Information and Unlabeled Data
基于特权信息与未标记数据的联合训练
Jiahao Shi, Omar Hagrass, Jason M. Klusowski
机构
*
Department of Electrical and Computer Engineering, Princeton University(普林斯顿大学电子与计算机工程系)
;
Department of Operations Research and Financial Engineering, Princeton University(普林斯顿大学运筹学与金融工程系)
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
Goedel-Code-Prover:面向开放状态的最新代码验证的分层证明搜索
Zenan Li, Ziran Yang, Deyuan He, Haoyu Zhao, Andrew Zhao, Shange Tang, Kaiyu Yang, Aarti Gupta, Zhendong Su, Chi Jin
机构
*
ETH Zürich(苏黎世联邦理工学院)
;
Princeton Language and Intelligence(普林斯顿语言与智能实验室)
;
Department of Computer Science, Princeton University(普林斯顿大学计算机科学系)
;
MiroMind
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,巴黎)
机构
*
Princeton University(普林斯顿大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
University of Toronto(多伦多大学)
;
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Stanford University(斯坦福大学)
;
University of Oxford(牛津大学)
Galaxy Phase-Space and Field-Level Cosmology: The Strength of Semi-Analytic Models
星系相空间与场级宇宙学:半经验模型的强度
Natalí S. M. de Santi, Francisco Villaescusa-Navarro, Pablo Araya-Araya, Gabriella De Lucia, Fabio Fontanot, Lucia A. Perez, Manuel Arnés-Curto, Violeta Gonzalez-Perez, Ángel Chandro-Gómez, Rachel S. Somerville, Tiago Castro
机构
*
Berkeley Center for Cosmological Physics, University of California, Berkeley(伯克利宇宙学物理中心,加州大学伯克利分校)
;
Physics Division, Lawrence Berkeley National Laboratory(劳伦斯伯克利国家实验室物理系)
;
Center for Computational Astrophysics, Flatiron Institute(Flatiron研究所计算天文学中心)
;
Department of Astrophysical Sciences, Princeton University(普林斯顿大学天体物理科学系)
;
Cosmic Dawn Center (DAWN), Copenhagen, Denmark(宇宙黎明中心(DAWN),哥本哈根,丹麦)
;
DTU Space, Technical University of Denmark(技术大学丹麦分校DTU空间)
;
IFPU - Institute for Fundamental Physics of the Universe, via Beirut 2, 34151, Trieste, Italy(IFPU——宇宙基本物理研究所,意大利特里斯特)
;
International Centre for Radio Astronomy Research, The University of Western Australia(国际射电天文研究中心,西澳大利亚大学)
;
ARC Centre for All-Sky Astrophysics in 3 Dimensions (ASTRO 3D)(三维全天空天体物理中心(ASTRO 3D))
GEM-4D: Geometry-Enhanced Video World Models for Robot Manipulation
GEM-4D:用于机器人操作的几何增强视频世界模型
Kaichen Zhou, Yuzhen Chen, Fangneng Zhan, Hang Hua, Grace Chen, Xinhai Chang, Ao Qu, Yilun Du, Zhuang Liu, Paul Pu Liang, Mengyu Wang
机构
*
Harvard AI and Robotics Lab(哈佛人工智能与机器人实验室)
;
Harvard University(哈佛大学)
;
Media Lab and EECS(媒体实验室和电子工程与计算机科学系)
;
MIT(麻省理工学院)
;
Princeton University(普林斯顿大学)
;
MIT-IBM Watson AI Lab(麻省理工-IBM沃森人工智能实验室)