AutoSpec: Automated Generation of Neural Network Specifications
AutoSpec:神经网络规范的自动生成
Shuowei Jin, Taobo Liao, Anuj Kalia, Xenofon Foukas, Huan Zhang, Cheng Tan, Z. Morley Mao, Francis Y. Yan
机构
*
University of Michigan(密歇根大学)
;
Microsoft Research(微软研究院)
;
Northeastern University(东北大学)
;
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
Maijunxian Wang, Yijiang Li, Bingyang Wang, Tianwei Zhao, Ran Ji, Qingying Gao, Emmy Liu, Hokin Deng, Dezhi Luo
机构
*
Cognitive Science Program, University of California, Berkeley(加州大学伯克利分校认知科学项目)
;
Department of Electrical and Computer Engineering, University of California San Diego(加州大学圣地亚哥分校电气与计算机工程系)
;
School of Computer Science, Georgia Institute of Technology & Emory University(佐治亚理工学院计算机科学学院及埃默里大学)
;
Department of Computer Science, Johns Hopkins University(约翰霍普金斯大学计算机科学系)
;
Department of Cognitive Science, University of California San Diego(加州大学圣地亚哥分校认知科学系)
;
Equal Advising Department of Computer Science & Wilmer Eye Institute, Johns Hopkins University(约翰霍普金斯大学计算机科学系及威尔默眼科研究所)
;
Language Technologies Institute, Carnegie Mellon University(卡内基梅隆大学语言技术研究所)
;
Robotics Institute, Carnegie Mellon University(卡内基梅隆大学机器人研究所)
;
Weinberg Institute for Cognitive Science, University of Michigan(密歇根大学韦恩伯格认知科学研究所)
SheetMind: An End-to-End LLM-Powered Multi-Agent Framework for Spreadsheet Automation
SheetMind:一个由端到端大语言模型驱动的用于电子表格自动化的多智能体框架
Xi Cheng, Ruiyan Zhu, Ke Liu, Rakesh Chowdary Machineni, Lyuhao Chen, Brian Zhu, Daniel Jin, Zheng Qi, Neeraj Parihar, Zhoutian Xu, Oliver Gao
机构
*
Cornell University(康奈尔大学)
;
University of California, Berkeley(加州大学伯克利分校)
;
University of Michigan(密歇根大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Hong Kong University of Science and Technology (GZ)(香港科学与技术大学)
机构
*
Analemma
;
National University of Singapore(新加坡国立大学)
;
Fudan University(复旦大学)
;
University College Dublin(都柏林大学)
;
Washington University in St. Louis(圣路易斯华盛顿大学)
;
The Hong Kong University of Science and Technology(香港科技大学)
;
Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所)
;
University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
ByteDance(字节跳动)
;
ShanghaiTech University(上海科技大学)
;
University of Warwick(华威大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
University of Michigan, Ann Arbor(密歇根大学安娜堡分校)
;
East China Normal University(华东师范大学)
;
Stanford University(斯坦福大学)
;
Tencent(腾讯)
;
The University of Hong Kong(香港大学)
;
Shanghai Innovation Institute(上海创新研究院)
;
Nex-AGI Team(Nex-AGI团队)
GenDA: Generative Data Assimilation on Complex Urban Areas via Classifier-Free Diffusion Guidance
GenDA:基于无分类器扩散引导的复杂城市区域生成式数据同化
Francisco Giral, Álvaro Manzano, Ignacio Gómez, Ricardo Vinuesa, Soledad Le Clainche
机构
*
Applied Mathematics Department, ETSIAE-School of Aeronautics, Universidad Politécnica de Madrid, Spain(马德里理工大学应用数学系)
;
Department of Aerospace Engineering, University of Michigan, Ann Arbor, MI 48109, USA(密歇根大学航空航天工程系)
Zero-Human Demonstration End-to-end Autonomous Driving with Trajectory Scorer
基于轨迹评分器的零人类示范端到端自动驾驶
Zhenxin Li, Nadine Chang, Wenhao Yao, Xinglong Sun, Zi Wang, Maying Shen, Jingde Chen, Jingyu Song, Kailin Li, Zuxuan Wu, Shiyi Lan, Jose M. Alvarez
机构
*
Institute of Trustworthy Embodied AI(可信具身人工智能研究所)
;
Fudan University(复旦大学)
;
Shanghai Key Laboratory of Multimodal Embodied AI(上海多模态具身人工智能重点实验室)
;
NVIDIA
;
University of Michigan(密歇根大学)
;
East China Normal University(华东师范大学)
Bayesian Invariance Modeling of Multi-Environment Data
多环境数据的贝叶斯不变性建模
Luhuan Wu, Mingzhang Yin, Yixin Wang, John P. Cunningham, David M. Blei
机构
*
Department of Applied Mathematics and Statistics, Johns Hopkins University(应用数学与统计学系,约翰霍普金斯大学)
;
Department of Statistics, Columbia University(统计学系,哥伦比亚大学)
;
Department of Computer Science, Columbia University(计算机科学系,哥伦比亚大学)
;
Warrington College of Business, University of Florida(佛罗里达大学沃林顿商学院)
;
Department of Statistics, University of Michigan(统计学系,密歇根大学)
A Survey of Reinforcement Learning-Based Motion Planning for Autonomous Driving: Lessons Learned from a Driving Task Perspective
基于强化学习的自动驾驶运动规划综述:从驾驶任务角度吸取的经验教训
Zhuoren Li, Guizhe Jin, Ran Yu, Weiqi Zhang, Zhiwen Chen, Nan Li, Lu Xiong, Ilya Kolmanovsky, Dimitar Filev, Bo Leng, Jia Hu
机构
*
College of Automotive and Energy Engineering, Tongji University(同济大学汽车与能源工程学院)
;
Key Laboratory of Road and Traffic Engineering of the Ministry of Education, Tongji University(教育部道路与交通工程重点实验室)
;
Department of Aerospace Engineering, University of Michigan(密歇根大学航空航天工程系)
;
Hagler Institute for Advanced Study, Texas A&M University(德克萨斯大学A&M分校哈格勒先进研究学院)
Physics-Grounded Monocular Vehicle Distance Estimation Using Standardized License Plate Typography
基于标准化车牌字体的单目车辆距离估计
Manognya Lokesh Reddy, Zheng Liu
机构
*
Department of Computer and Information Science, University of Michigan-Dearborn(1计算机与信息科学系,密歇根大学-迪尔伯恩分校)
;
Department of Industrial and Manufacturing Systems Engineering, University of Michigan-Dearborn(2工业与制造系统工程系,密歇根大学-迪尔伯恩分校)
机构
*
Yonsei University(延世大学)
;
Korea Institute of Science and Technology(韩国科学技术院)
;
LG AI Research(LG人工智能研究)
;
University of Michigan(密歇根大学)
;
Seoul National University(首尔国立大学)
CommentsFull version (and extension) of FOCS 2024 paper. Fixes some missing assumptions in our results for continuous distributions. Also adds extensions to censored and binary feedback settings (along with applications) Revision: We improved the $k$ dependence