Cornell University（康奈尔大学）

Toward Honest Language Models for Deductive Reasoning

迈向演绎推理中的诚实语言模型

Jiarui Liu, Kaustubh Dhole, Yingheng Wang, Haoyang Wen, Sarah Zhang, Haitao Mao, Gaotang Li, Neeraj Varshney, Jingguo Liu, Xiaoman Pan

机构 * Carnegie Mellon University（卡内基梅隆大学） ； Amazon（亚马逊） ； Emory University（埃默里大学） ； Cornell University（康奈尔大学） ； UIUC（伊利诺伊大学厄巴纳-香槟分校） 纠错

AI总结 本文提出ACNCHOR方法，通过注入真实轨迹防止训练崩溃，提升语言模型在演绎推理中的诚实推理能力。

Measured Hockey-Stick Divergence and its Applications to Quantum Pufferfish Privacy

测量的曲棍球杆发散及其在量子比目鱼隐私中的应用

Theshani Nuradha, Vishal Singh, Mark M. Wilde

机构 * School of Electrical and Computer Engineering, Cornell University（电气与计算机工程系，康奈尔大学） ； School of Applied and Engineering Physics, Cornell University（应用与工程物理系，康奈尔大学） 纠错

AI总结 本文研究了测量曲棍球杆发散及其在量子比目鱼隐私框架中的应用，证明了其性质并展示了计算方法。

Comments 21 pages, submission to the 2025 International Symposium on Information Theory to be held at University of Michigan

Journal ref Proceedings of the 2025 IEEE International Symposium on Information Theory (ISIT)

Linearly Constrained Diffusion Implicit Models

线性约束扩散隐式模型

Vivek Jayaram, Ira Kemelmacher-Shlizerman, Steven M. Seitz, John Thickstun

机构 * University of Washington（华盛顿大学） ； Cornell University（康奈尔大学） 纠错

AI总结 CDIM通过动态调整投影步骤减少数量，实现快速准确解决噪声线性逆问题，适用于多种图像处理任务。

Comments NeurIPS 2025

What Could a Social Mediator Robot Do? Lessons from Real-World Mediation Scenarios

社交调解机器人能做什么？来自真实世界调解场景的启示

Thomas H. Weisswange, Hifza Javed, Manuel Dietrich, Tuan Vu Pham, Maria Teresa Parreira, Michael Sack, Nawid Jamali

机构 * Honda Research Institute Europe GmbH（本田欧洲研究院） ； Honda Research Institute USA, Inc.（本田美国研究院） ； University of Siegen（锡根大学） ； Cornell University（康奈尔大学） 纠错

AI总结 本文探讨了社交调解机器人在真实场景中的六种潜在角色，并提出评估其调解效果的方法，旨在推动机器人辅助社会调解的研究发展。