University of Toronto（多伦多大学）

2607.21839 2026-07-27 cs.CR cs.LG 新提交

Certified in Theory, Broken in Practice: Assumption Gaps in Cryptographic Model Certification

理论上可认证，实践中却被破解：密码学模型认证中的假设差距

Carter Luck, Olive Franzese-McLaughlin, Elisaweta Masserova, Akira Takahashi, Antigoni Polychroniadou, Nicolas Papernot

机构 * University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）； Vector Institute & University of Toronto（向量研究所及多伦多大学）； Carnegie Mellon University（卡内基梅隆大学）； J.P.Morgan AI Research & AlgoCRYPT CoE（摩根大通人工智能研究及AlgoCRYPT中心）； University of Toronto（多伦多大学）

AI总结研究密码学模型认证中现有安全定义与实际应用的差距，通过精心设计训练数据可攻击相关认证方案。为此形式化严格安全概念，引入通用协议模板，为设计安全隐私保护的机器学习审计协议提供指导。

2607.21758 2026-07-27 cs.CL 新提交

Humanly: A Configurable and Traceable Environment for Human-AI Collaborative Writing

Humanly：一个用于人机协作写作的可配置且可追溯的环境

Shenzhe Zhu, Haoqian Zhang, Xu Yang, Jingyu Tang, Yi Nian, Xiaoxue Du, Shu Yang, Alex Pentland, Joachim Baumann, Jiaxin Pei

机构 * UT Austin（德克萨斯大学奥斯汀分校）； University of Toronto（多伦多大学）； Stanford University（斯坦福大学）； MIT（麻省理工学院）； USC（南加州大学）； KAUST（阿卜杜拉国王科技大学）

AI总结研究针对人机协作写作难以判断创作过程的问题，提出Humanly写作平台，用户能配置环境，平台记录活动与辅助，可打包会话生成证书，支持多种场景，经研究验证对各角色有帮助且能区分打字方式。

2505.19212 2026-07-27 cs.CL cs.AI cs.CY 版本更新

When Ethics and Payoffs Diverge: LLM Agents in Morally Charged Social Dilemmas

当伦理与收益相悖时：道德两难情境下的大语言模型智能体

Steffen Backmann, David Guzman Piedrahita, Terry Jingchen Zhang, Emanuel Tewolde, Rada Mihalcea, Bernhard Schölkopf, Zhijing Jin

机构 * ETH Zürich（苏黎世联邦理工学院）； University of Zurich（苏黎世大学）； Carnegie Mellon University（卡内基梅隆大学）； University of Michigan（密歇根大学）； Max Planck Institute for Intelligent Systems, Tübingen（图宾根人工智能研究所）； University of Toronto（多伦多大学）； Vector Institute（向量研究所）

AI总结研究道德要求与利润激励冲突时LLMs在道德两难博弈中的行为，引入\msim评估九个模型，通过ATEs估计因果效应、分析推理轨迹，发现模型道德行为有情境脆弱性，揭示了部署风险。