Vero: Can AI Agents Build Formally Verified Software Repositories?
Vero:AI智能体能否构建形式化验证的软件仓库?
Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song
机构
*
University of Chicago(芝加哥大学)
;
California Institute of Technology(加州理工学院)
;
Stanford University(斯坦福大学)
;
UC Berkeley(加州大学伯克利分校)
;
Amazon Web Services(亚马逊云计算服务)
;
Apodex
BavGround: A Benchmark for Regional Cultural Grounding and Dialect Competence in Bavarian
BavGround:巴伐利亚区域文化接地与方言能力基准
Jophin John, Michael Hoffmann, Jan Fillies, Michael A. Hedderich, Barbara Plank
机构
*
Stanford University(斯坦福大学)
;
Freie Universität Berlin(柏林自由大学)
;
Center for Information and Language Processing, LMU Munich(慕尼黑大学信息与语言处理中心)
;
Munich Center for Machine Learning (MCML)(慕尼黑机器学习中心)
;
Leibniz Supercomputing Centre (LRZ)(莱布尼茨超级计算中心)
Navigating the Proximity-Safety Balance: Constraint Decomposition for Human Following in Pedestrian Crowds
权衡 proximity 与安全:人群中跟随目标行人的约束分解方法
Shiting Gong, Jianpeng Yao, Jinfeng Wang, Marco Pavone, Jiachen Li
机构
*
University of Pennsylvania(宾夕法尼亚大学)
;
University of California, Riverside(加州大学河滨分校)
;
Stanford University(斯坦福大学)
;
NVIDIA Research(英伟达研究院)
;
Georgia Institute of Technology(佐治亚理工学院)
Protecting patient privacy in clinical foundation models: Technical and legal perspectives
临床基础模型中的患者隐私保护:技术与法律视角
Sana Tonekaboni, Lena Stempfle, Sasha Ronaghi, Corinna Coupette, I. Glenn Cohen, Emily Alsentzer, Marzyeh Ghassemi
机构
*
Massachusetts Institute of Technology (MIT)(麻省理工学院(MIT))
;
The Broad Institute of MIT and Harvard(麻省理工学院与哈佛大学博德研究所)
;
Borealis AI
;
Stanford University(斯坦福大学)
;
Aalto University(阿尔托大学)
;
Max Planck Institute for Tax Law and Public Finance(马克斯·普朗克税法与公共财政研究所)
;
Stanford Law School(斯坦福法学院)
;
Harvard Law School(哈佛法学院)
;
Petrie-Flom Center for Health Law Policy, Biotechnology & Bioethics(皮里-弗洛姆健康法律政策、生物技术与生物伦理中心)
Learning Physical Interaction: A Survey of Tactile- and Force-aware Robot Learning
学习物理交互:触觉与力感知机器人学习综述
Shilin Shan, Chuhao Zhou, Ruize Wang, Xinyan Chen, Xiangyu Chen, Xinyu Zhou, Boyu Ma, Iris Yuxuan Hu, Jingliang Li, Celeste Yuxuan Hu, Geng Li, Guohao Chen, Tianrui Zhu, Zhe Li, Yanjie Ze, Haoran Geng, Zhiyang Dou, Jianxin Bi, Yuejiang Liu, Jianshu Zhou, Jiachen Li, Paul Liang, Tatsuya Harada, Robert Katzschmann, Harold Soh, Na Li, Edward Johns, Danica Kragic, Jan Peters, Wojciech Matusik, Masayoshi Tomizuka, Jitendra Malik, Jianfei Yang
机构
*
Nanyang Technological University(南洋理工大学)
;
Stanford University(斯坦福大学)
;
University of California, Berkeley(加利福尼亚大学伯克利分校)
;
Massachusetts Institute of Technology(麻省理工学院)
;
National University of Singapore(新加坡国立大学)
;
Georgia Institute of Technology(佐治亚理工学院)
;
The University of Tokyo(东京大学)
;
ETH Zurich(苏黎世联邦理工学院)
;
Harvard University(哈佛大学)
;
Imperial College London(伦敦帝国学院)
;
KTH Royal Institute of Technology(瑞典皇家理工学院)
;
Technical University of Darmstadt(达姆施塔特工业大学)
Comments34 pages, 6 figures, 20 tables. Full technical version; a condensed 9-page version is currently under review. Code: https://github.com/Na00s/muon-grokking
DiDPO: Diff-in-Diff Policy Optimization for Coding Agent Training
DiDPO:用于编码智能体训练的差异内差异策略优化
Xucong Wang, Zhe Zhao, Liheng Yu, Di Wu, Xiaofeng Cao, Pengkun Wang
机构
*
University of Science and Technology of China (USTC)(中国科学技术大学)
;
Stanford University(斯坦福大学)
;
Suzhou Institute for Advanced Research, USTC(中国科学技术大学苏州高等研究院)
;
Tongji University(同济大学)
机构
*
Princeton University(普林斯顿大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
University of Toronto(多伦多大学)
;
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Stanford University(斯坦福大学)
;
University of Oxford(牛津大学)
DelusionEval: Measuring Delusion-Linked Behaviors in AI Chatbots
DelusionEval:评估AI聊天机器人中与妄想相关的行为
Jared Moore, Andrea Mock, Yifan Mai, Jacy Reese Anthis, Ryan Louie, William Agnew, Ashish Mehta, Kevin Klyman, Percy Liang, Nick Haber, Eric Lin, Desmond C. Ong
机构
*
Stanford University(斯坦福大学)
;
University of Chicago(芝加哥大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Harvard University(哈佛大学)
;
The University of Texas at Austin(德克萨斯大学奥斯汀分校)
机构
*
University of Southern California(南加利福尼亚大学)
;
University of Chicago(芝加哥大学)
;
University of California, Berkeley(加利福尼亚大学伯克利分校)
;
Massachusetts Institute of Technology(麻省理工学院)
;
Stanford University(斯坦福大学)
;
University of California, Davis(加利福尼亚大学戴维斯分校)
;
Pennsylvania State University(宾夕法尼亚州立大学)
;
Harvard University(哈佛大学)
;
University of Oxford(牛津大学)
Class-Aware Reinforcement Learning for Counterfactual Explanation Generation
用于反事实解释生成的类别感知强化学习
Muhammad Adil Saleem, Syed Ali Raza, Mary-Anne Williams
机构
*
Institute of Business Administration Karachi(卡拉奇工商管理学院)
;
Commonwealth Bank of Australia(澳大利亚联邦银行)
;
Stanford University(斯坦福大学)
;
University of New South Wales(新南威尔士大学)