Characterizing Rhetorical Misalignment in Decision-Making with Language Models
表征语言模型决策中的修辞失配问题
Zirui Cheng, Joey Chan, Simo Du, Chenhao Tan, Yue Guo, Hao Peng
机构
*
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
NYC Health + Hospitals/Jacobi Medical Center(纽约市健康与医院公司雅各比医学中心)
;
University of Chicago(芝加哥大学)
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
Biologically Informed Representation Learning for Robust Cross-Center Generalization of MALDI-TOF Mass Spectrometry
用于MALDI-TOF质谱稳健跨中心泛化的生物学信息表征学习
Alejandro L. García-Navarro, Carlos Sevilla-Salcedo, Belén Rodríguez-Sánchez, Vanessa Gómez-Verdejo
机构
*
Universidad Carlos III de Madrid(卡洛斯三世大学)
;
Instituto de Investigación Sanitaria Gregorio Marañón(格雷戈里奥·马拉尼翁卫生研究所)
;
Hospital General Universitario Gregorio Marañón(格雷戈里奥·马拉尼翁大学总医院)
机构
*
Princeton University(普林斯顿大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
University of Toronto(多伦多大学)
;
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Stanford University(斯坦福大学)
;
University of Oxford(牛津大学)
Agnese Chiatti, Michael Cochez, Cristina Cornelio, Sebastijan Dumancic, Artur d'Avila Garcez, Luis C. Lamb, Lia Morra, Mathias Niepert, Robert Peharz, Alberto Speranzon, Maarten Stol, Annette Ten Teije, Thiviyan Thanapalasingam, Frank Van Harmelen, Emile Van Krieken, Antonio Vergari, Benjie Wang
机构
*
Politecnico di Milano(米兰理工大学)
;
ELLIS Institute Finland(芬兰ELLIS研究所)
;
Åbo Akademi University(奥博 Akademi 大学)
;
Samsung AI(三星人工智能研究院)
;
Delft University of Technology(代尔夫特理工大学)
;
Stony Brook University(石溪大学)
;
Politecnico di Torino(都灵理工大学)
;
University of Stuttgart(斯图加特大学)
;
Graz University of Technology(格拉茨工业大学)
;
Lockheed Martin, Advanced Technology Labs(洛克希德·马丁公司先进技术实验室)
;
BrainCreators(BrainCreators公司)
;
Vrije Universiteit Amsterdam(阿姆斯特丹自由大学)
;
University of Amsterdam(阿姆斯特丹大学)
;
University of Edinburgh(爱丁堡大学)
;
UCLA(加利福尼亚大学洛杉矶分校)
CommentsAccepted as: Batzolis, E., Drosatos, G., Katsouros, V., & Rantos, K. (2026). A Security-Oriented Lifecycle Model for Large Language Model Systems. In: Kieseberg, P., Skopik, F., Atli, B., Schrittwieser, S., & Asplund, M. (Eds.), Availability, reliability and security---ARES 2026 EU Projects Symposium workshops (Lecture Notes in Computer Science, pp. 1-18). Springer Nature Switzerland