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(纽约大学)
机构
*
University of California San Diego(加州大学圣地亚哥分校)
;
The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳))
;
Peking University(北京大学)
;
University of California, Los Angeles(加州大学洛杉矶分校)
;
California Institute of Technology(加州理工学院)
;
ETH Zurich(苏黎世联邦理工学院)
Aligning Fetal Anatomy with Kinematic Tree Log-Euclidean PolyRigid Transforms
对胎儿解剖结构进行运动树Log-欧几里得PolyRigid变换
Yingcheng Liu, Athena Taymourtash, Yang Liu, Esra Abaci Turk, William M. Wells, Leo Joskowicz, P. Ellen Grant, Polina Golland
机构
*
Computer Science and Artificial Intelligence Lab, MIT, Cambridge, USA(麻省理工学院计算机科学与人工智能实验室)
;
California Institute of Technology, Pasadena, USA(加州理工学院)
;
Boston Children’s Hospital and Harvard Medical School, Boston, USA(哈佛医学院波士顿儿童医院)
;
The Hebrew University of Jerusalem, Jerusalem, Israel(耶路撒冷希伯来大学)
CommentsAn earlier version titled "Large-Scale Continual Scheduling and Execution for Dynamic Distributed Satellite Constellation Observation Allocation" appears as an extended abstract in the Proceedings of the 25th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2026)
机构
*
Southern University of Science and Technology(南方科技大学)
;
Harvard University(哈佛大学)
;
California Institute of Technology(加州理工学院)
;
Massachusetts Institute of Technology(麻省理工学院)
Global monitoring of methane point sources using deep learning on hyperspectral radiance measurements from EMIT
利用EMIT的超光谱辐射测量通过深度学习实现甲烷点源的全球监测
Vishal V. Batchu, Michelangelo Conserva, Alex Wilson, Anna M. Michalak, Varun Gulshan, Philip G. Brodrick, Andrew K. Thorpe, Christopher V. Arsdale
机构
*
Google Research(谷歌研究院)
;
Carnegie Institution for Science(卡内基科学研究所)
;
Jet Propulsion Laboratory, California Institute of Technology(加州理工学院喷气推进实验室)
机构
*
Department of Information Engineering, The Chinese University of Hong Kong(香港中文大学信息工程系)
;
John A. Paulson School of Engineering and Applied Sciences, Harvard University(哈佛大学约翰·A·保罗森工程与应用科学学院)
;
California Institute of Technology(加州理工学院)
OrbitAll: A Unified Quantum Mechanical Representation Deep Learning Framework for All Molecular Systems
OrbitAll:用于所有分子系统的统一量子力学表示深度学习框架
Beom Seok Kang, Vignesh C. Bhethanabotla, Amin Tavakoli, Maurice D. Hanisch, Arimitsu Horikawa-Strakovsky, Miguel Nouman, Danish Khan, William A. Goddard, Anima Anandkumar
Theory-to-Practice Gap for Neural Networks and Neural Operators
神经网络和神经算子的理论与实践差距
Philipp Grohs, Samuel Lanthaler, Margaret Trautner
机构
*
Department of Mathematics(数学系)
;
University of Vienna(维也纳大学)
;
G-Research
;
Department of Computing and Mathematical Sciences(计算与数学科学系)
;
California Institute of Technology(加州理工学院)
Ziheng Chen, Yue Song, Rui Wang, Xiao-Jun Wu, Nicu Sebe
机构
*
Department of Information Engineering and Computer Science, University of Trento(信息工程与计算机科学系,特伦托大学)
;
Computing and Mathematical Sciences, Caltech(计算与数学科学系,加州理工学院)
;
School of Artificial Intelligence and Computer Science, Jiangnan University(人工智能与计算机科学学院,江南大学)
CommentsExtended version of the ICLR 2024 paper: A Lie Group Approach to Riemannian Batch Normalization. arXiv admin note: substantial text overlap with arXiv:2403.11261
Bayesian inference of composition-dependent phase diagrams
成分依赖相图的贝叶斯推断
Timofei Miryashkin, Olga Klimanova, Vladimir Ladygin, Alexander Shapeev
机构
*
Skolkovo Institute of Science and Technology(斯克尔科沃科学与技术研究所)
;
Moscow Institute of Physics and Technology(莫斯科物理技术学院)
;
California Institute of Technology(加州理工学院)
Journal refProceedings of the 9th International Conference on Medical Imaging with Deep Learning, Proceedings of Machine Learning Research 315 (2026) 2958-2986
Adaptive Contracts for Cost-Effective AI Delegation
面向成本效益的AI委托自适应合同
Eden Saig, Tamar Garbuz, Ariel D. Procaccia, Inbal Talgam-Cohen, Jamie Tucker-Foltz
机构
*
Tel Aviv University(特拉维夫大学)
;
Harvard University(哈佛大学)
;
Technion -- Israel Institute of Technology(技术学院——以色列理工学院)
;
California Institute of Technology(加州理工学院)
;
Yale School of Management(耶鲁管理学院)
Data-driven Sensor Placement for Predictive Applications: A Correlation-Assisted Attribution Framework (CAAF)
面向预测应用的数据驱动传感器布置:一种相关性辅助归因框架 (CAAF)
Sze Chai Leung, Di Zhou, H. Jane Bae
机构
*
Department of Mechanical and Civil Engineering, California Institute of Technology(机械与土木工程系,加州理工学院)
;
Graduate Aerospace Laboratories, California Institute of Technology(航空航天实验室,加州理工学院)
;
Department of Mechanical and Aerospace Engineering, University of Tennessee(机械与航空航天工程系,田纳西大学)
Flow Matching for Efficient and Scalable Data Assimilation
用于高效可扩展数据同化的流匹配
Taos Transue, Bohan Chen, So Takao, Bao Wang
机构
*
The Computing and Mathematical Sciences Department, California Institute of Technology(加州理工学院计算与数学科学系)
;
Department of Mathematics and Scientific Computing and Imaging Institute, University of Utah(犹他大学数学与科学计算系和成像研究所)