Arbitrary Polynomial Separations in Trainable Quantum Machine Learning
可训练量子机器学习中的任意多项式分离
Eric R. Anschuetz, Xun Gao
机构
*
Institute for Quantum Information and Matter(量子信息与物质研究所)
;
Walter Burke Institute for Theoretical Physics, Caltech, Pasadena, CA, USA(沃尔特·伯克理论物理研究所,卡内基梅隆大学,帕萨迪纳,CA,USA)
;
MIT Center for Theoretical Physics, Cambridge, MA, USA(麻省理工学院理论物理中心,剑桥,MA,USA)
;
Department of Physics, CU Boulder, Boulder, CO, USA(科罗拉多大学博尔德分校物理系)
POCI-Diff: Position Objects Consistently and Interactively with 3D-Layout Guided Diffusion
POCI-Diff: 通过3D布局引导扩散实现位置对象一致性和交互
Andrea Rigo, Luca Stornaiuolo, Weijie Wang, Mauro Martino, Bruno Lepri, Nicu Sebe
机构
*
DISI, University of Trento(DISI,特伦托大学)
;
Toretei S.r.l.(Toretei公司)
;
Visual AI Lab, MIT-IBM Watson AI Lab(视觉人工智能实验室,MIT-IBM沃森人工智能实验室)
;
Fondazione Bruno Kessler(布鲁诺·凯斯勒基金会)
ESPLoRA: Enhanced Spatial Precision with Low-Rank Adaption in Text-to-Image Diffusion Models for High-Definition Synthesis
ESPLoRA: 基于低秩适应的文本到图像扩散模型中增强空间精度以实现高清晰度合成
Andrea Rigo, Luca Stornaiuolo, Mauro Martino, Bruno Lepri, Nicu Sebe
机构
*
DISI, University of Trento(DISI,特伦托大学)
;
Toretei S.r.l.(Toretei公司)
;
Visual AI Lab, MIT-IBM Watson AI Lab(视觉人工智能实验室,MIT-IBM Watson人工智能实验室)
;
Fondazione Bruno Kessler(布鲁诺·凯撒基金会)
Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
飞行中的安全性:通过运行时策略控制屏障函数构建稳健的安全过滤器
Luzia Knoedler, Oswin So, Ji Yin, Mitchell Black, Zachary Serlin, Panagiotis Tsiotras, Javier Alonso-Mora, Chuchu Fan
机构
*
Department of Cognitive Robotics, Delft University of Technology(认知机器人系,代尔夫特理工大学)
;
Department of Aeronautics and Astronautics, Massachusetts Institute of Technology(航空宇航工程系,麻省理工学院)
;
D. Guggenheim School of Aerospace Engineering, Georgia Institute of Technology(Guggenheim航空航天工程学院,佐治亚理工学院)
;
MIT Lincoln Laboratory(MIT林肯实验室)
Optimization Insights into Deep Diagonal Linear Networks
深度对角线线性网络中的优化洞察
Hippolyte Labarrière, Cesare Molinari, Lorenzo Rosasco, Cristian Vega, Silvia Villa
机构
*
MaLGa, DIBRIS, Università degli Studi di Genova(基因瓦大学MaLGa、DIBRIS分校)
;
MaLGa, DIMA, Università degli Studi di Genova(基因瓦大学MaLGa、DIMA分校)
;
Center for Brains, Minds and Machines, MIT(MIT大脑、心智与机器中心)
;
Istituto Italiano di Tecnologia(意大利技术研究院)
;
Instituto de Alta investigaciòn (IAI), Universidad de Tarapacà(塔拉帕卡大学高级研究机构)
LegacyAvatars: Volumetric Face Avatars For Traditional Graphics Pipelines
LegacyAvatars: 基于体素的面部虚拟角色用于传统图形管线
Safa C. Medin, Gengyan Li, Ziqian Bai, Ruofei Du, Leonhard Helminger, Yinda Zhang, Stephan J. Garbin, Philip L. Davidson, Gregory W. Wornell, Thabo Beeler, Abhimitra Meka
机构
*
Google(谷歌)
;
MIT(麻省理工学院)
;
ETH Zurich(苏黎世联邦理工学院)
Efficient Parametric SVD of Koopman Operator for Stochastic Dynamical Systems
高效参数化Koopman算子的SVD用于随机动力系统
Minchan Jeong, J. Jon Ryu, Se-Young Yun, Gregory W. Wornell
机构
*
Kim Jaechul Graduate School of AI, KAIST, Daejeon 34141, South Korea(韩国科学技术院人工智能研究生院)
;
Department of EECS, MIT, Cambridge, MA 02139, United States(麻省理工学院电子工程与计算机科学系)
Distributed Control Barrier Functions for Safe Multi-Vehicle Navigation in Heterogeneous USV Fleets
分布式控制屏障函数用于异构无人艇编队的安全多车导航
Tyler Paine, Brendan Long, Jeremy Wenger, Michael DeFilippo, James Usevitch, Michael Benjamin
机构
*
Massachusetts Institute of Technology(麻省理工学院)
;
MIT Lincoln Laboratory(MIT林肯实验室)
;
Woods Hole Oceanographic Institution(伍兹霍尔海洋研究所)
;
Charles Stark Draper Laboratory(查尔斯·斯塔克·德拉珀实验室)
;
Brigham Young University
Approximately Optimal Global Planning for Contact-Rich SE(2) Manipulation on a Graph of Reachable Sets
近似最优的接触丰富SE(2)操作在可达集图上的全局规划
Simin Liu, Tong Zhao, Bernhard Paus Graesdal, Peter Werner, Jiuguang Wang, John Dolan, Changliu Liu, Tao Pang
机构
*
Robotics Institute, Carnegie Mellon University(卡内基梅隆大学机器人学院)
;
Robotics and AI Institute(机器人与人工智能研究所)
;
CSAIL, Massachusetts Institute of Technology(麻省理工学院计算机科学与人工智能实验室)
HERMES: Holographic Equivariant neuRal network model for Mutational Effect and Stability prediction
HERMES:用于突变效应和稳定性的全息等效神经网络模型
Gian Marco Visani, William Galvin, Zac Jones, Michael N. Pun, Eric Daniel, Kevin Borisiak, Utheri Wagura, Armita Nourmohammad
机构
*
University of Washington(华盛顿大学)
;
Institute for Protein Design(蛋白质设计研究所)
;
Massachusetts Institute of Technology(麻省理工学院)
;
Fred Hutchinson Cancer Center(弗雷德· Hutchinson 癌症中心)
;
Yale University(耶鲁大学)
Generative AI collective behavior needs an interactionist paradigm
生成式AI的集体行为需要一种互动主义范式
Laura Ferrarotti, Gian Maria Campedelli, Roberto Dessì, Andrea Baronchelli, Giovanni Iacca, Kathleen M. Carley, Alex Pentland, Joel Z. Leibo, James Evans, Bruno Lepri
机构
*
Fondazione Bruno Kessler(布雷诺·克塞尔基金会)
;
University of Trento(特伦托大学)
;
Not Diamond
;
City St. George’s University of London(伦敦圣乔治大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Massachusetts Institute of Technology(麻省理工学院)
;
Stanford University(斯坦福大学)
;
Google DeepMind(谷歌DeepMind)
;
University of Chicago(芝加哥大学)
Bayesian Teaching Enables Probabilistic Reasoning in Large Language Models
贝叶斯教学使大语言模型具备概率推理能力
Linlu Qiu, Fei Sha, Kelsey Allen, Yoon Kim, Tal Linzen, Sjoerd van Steenkiste
机构
*
MIT(麻省理工学院)
;
Meta
;
Google(谷歌公司)
;
DeepMind University of British Columbia(不列颠哥伦比亚大学深度思维学院)
;
Vector Institute(向量研究所)
;
New York University(纽约大学)
;
Google Research(谷歌研究)
机构
*
Thrust of Artificial Intelligence, Hong Kong University of Science and Technology (Guangzhou)(人工智能 thrust,香港科技大学(广州))
;
Momoniai AI
;
Department of Mechanical Engineering, Massachusetts Institute of Technology(机械工程系,麻省理工学院)
;
School of Information Engineering, Yancheng Institute of Technology(信息工程学院,盐城科技学院)
;
College of Information Science and Electronic Engineering, Zhejiang University(信息科学与电子工程学院,浙江大学)
;
Institute for Math & AI, Wuhan University(数学与人工智能研究所,武汉大学)
;
College of Science and Engineering and the Centre for AI and Data Science Innovation, James Cook University(科学与工程学院及人工智能与数据科学创新中心,詹姆斯库克大学)
;
School of Transportation, Southeast University(交通运输学院,东南大学)
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
开放证明语料库:大规模研究LLM生成的数学证明
Jasper Dekoninck, Ivo Petrov, Kristian Minchev, Mislav Balunovic, Martin Vechev, Miroslav Marinov, Maria Drencheva, Lyuba Konova, Milen Shumanov, Kaloyan Tsvetkov, Nikolay Drenchev, Lazar Todorov, Kalina Nikolova, Nikolay Georgiev, Vanesa Kalinkova, Margulan Ismoldayev
机构
*
ETH Zurich(苏黎世联邦理工学院)
;
INSAIT, Sofia University "St. Kliment Ohridski"(INSAIT,索菲亚大学"圣克莱门特·欧赫里德斯基")
;
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences(保加利亚科学院数学与信息学研究所)
;
Massachusetts Institute of Technology(麻省理工学院)
Online Scheduling for LLM Inference with KV Cache Constraints
在线调度用于具有KV缓存约束的LLM推理
Patrick Jaillet, Jiashuo Jiang, Konstantina Mellou, Marco Molinaro, Chara Podimata, Zijie Zhou
机构
*
Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology(麻省理工学院电子工程与计算机科学系)
;
HKUST(香港科技大学)
;
Microsoft Research(微软研究院)
;
Sloan School of Management, Massachusetts Institute of Technology(斯隆管理学院,麻省理工学院)
;
Operations Research Center, Massachusetts Institute of Technology(运营研究中心,麻省理工学院)
Symbolic Learning of Interpretable Reduced-Order Models for Jumping Quadruped Robots
符号学习可解释的降阶模型用于跳跃四足机器人
Gioele Buriani, Jingyue Liu, Maximilian Stölzle, Cosimo Della Santina, Jiatao Ding
机构
*
Department of Cognitive Robotics, Delft University of Technology(认知机器人学系,代尔夫特理工大学)
;
Computer Science and Artificial Intelligence Laboratory (CSAIL), Massachusetts Institute of Technology(计算机科学与人工智能实验室(CSAIL),麻省理工学院)
;
Institute of Robotics and Mechatronics, German Aerospace Center (DLR)(机器人与机电研究所,德国航空航天中心(DLR))
;
Department of Industrial Engineering, University of Trento(工业工程系,特伦托大学)