University of Toronto（多伦多大学）

Certifiable Boolean Reasoning Is Universal

可验证的布尔推理是通用的

Wenhao Li, Anastasis Kratsios, Hrad Ghoukasian, Dennis Zvigelsky

机构 * University of Toronto（多伦多大学） ； McMaster University（麦基尔大学） ； Vector Institute（向量研究所） ； Scuola Normale Superiore di Pisa（比萨normal高等学院） 纠错

AI总结 本文提出了一种深度学习架构，能够确证性地推理并通用性地处理任何布尔任务，且在简单布尔任务中参数需求低。

Comments Submitted to COLT 2026

Untwisting RoPE: Frequency Control for Shared Attention in DiTs

解开RoPE：多模态和共享注意力中的频率控制

Aryan Mikaeili, Or Patashnik, Andrea Tagliasacchi, Daniel Cohen-Or, Ali Mahdavi-Amiri

机构 * Simon Fraser University（西蒙弗雷泽大学） ； Tel Aviv University（特拉维夫大学） ； University of Toronto（多伦多大学） 纠错

AI总结 本文通过分析RoPE的频率结构，提出方法调节RoPE频率带以实现更符合语义的共享注意力，从而有效控制风格迁移与内容复制的平衡。

Improving Set Function Approximation with Quasi-Arithmetic Neural Networks

通过准算术神经网络改进集合函数近似

Tomas Tokar, Scott Sanner

机构 * University of Toronto（多伦多大学） ； Vector Institute（向量研究所） 纠错

AI总结 本文提出准算术神经网络（QUANNs），通过引入神经化的柯尔莫戈罗夫均值（NKM）作为可学习的聚合函数，改进集合函数近似，提升模型的表达能力和迁移能力。

Comments To appear at ICLR 2026

Learning-Based Modeling of a Magnetically Steerable Soft Suction Device for Endoscopic Endonasal Interventions

基于学习的磁性可控软吸装置建模用于内窥镜鼻内干预

Majid Roshanfar, Alex Zhang, Changyan He, Amir Hooshiar, Dale J. Podolsky, Thomas Looi, Eric Diller

机构 * Joyce Posluns Centre for Image Guided Innovation \& Therapeutic Intervention (PCIGITI), The Hospital for Sick Children (SickKids) , city= Toronto , state= ON , country= Canada ； organization= Department of Mechanical ； Industrial Engineering (MIE), University of Toronto , city= Toronto , state= ON , country= Canada ； organization= School of Engineering, University of Newcastle , city= Newcastle , state= NSW , country= Australia ； Robotics (SuPER) Centre, Department of Surgery, McGill University , city= Montreal , state= QC , country= Canada ； organization= Institute of Biomedical Engineering (BME), University of Toronto , city= Toronto , state= ON , country= Canada 纠错

AI总结 本文提出了一种基于学习的磁性可控软吸装置建模方法，通过贝塞尔控制点实现高精度形状重建，采用随机森林算法在实验数据中实现亚毫米级的变形预测。

Journal ref Mechatronics 116 (2026) 103468

ScholarMate: A Mixed-Initiative Tool for Qualitative Knowledge Work and Information Sensemaking

ScholarMate: 一种用于定性知识工作和信息意义建构的混合发起工具

Runlong Ye, Patrick Yung Kang Lee, Matthew Varona, Oliver Huang, Carolina Nobre

机构 * Computer Science, University of Toronto（计算机科学，多伦多大学） 纠错

AI总结 ScholarMate是一种结合AI辅助与人类监督的交互式系统，旨在提升定性分析的效率和可解释性，通过动态文本片段管理与基于证据的主题命名，支持人机协作的意义建构任务。

Comments accepted at CHIWORK '25