University of Toronto（多伦多大学）

Cora: Correspondence-aware image editing using few step diffusion

Cora: 基于对应关系的图像编辑使用少量步骤扩散

Amirhossein Alimohammadi, Aryan Mikaeili, Sauradip Nag, Negar Hassanpour, Andrea Tagliasacchi, Ali Mahdavi-Amiri

机构 * Simon Fraser University（西蒙弗雷泽大学） ； Huawei（华为） ； University of Toronto（多伦多大学） ； Google Deepmind（谷歌DeepMind） 纠错

AI总结 Cora通过引入对应关系感知的噪声校正和插值注意力图，实现了在少量步骤下精准的图像编辑，有效保持结构、纹理和身份，优于现有方法。

Comments Published in SIGGRAPH 2025

Detoxifying LLMs via Representation Erasure-Based Preference Optimization

通过基于表示擦除的偏好优化来净化大语言模型

Nazanin Mohammadi Sepahvand, Eleni Triantafillou, Hugo Larochelle, Doina Precup, Daniel M. Roy, Gintare Karolina Dziugaite

机构 * McGill University（麦吉尔大学） ； Mila ； Google DeepMind（谷歌DeepMind） ； University of Toronto（多伦多大学） ； Vector Institute（向量研究所） 纠错

AI总结 本文提出REPO方法，通过基于表示擦除的偏好优化，有效净化大语言模型，提升其对抗鲁棒性。

Approximate SMT Counting Beyond Discrete Domains

超越离散域的近似SMT计数

Arijit Shaw, Kuldeep S. Meel

机构 * Chennai Mathematical Institute, India IAI, TCG CREST, Kolkata, India（钦奈数学研究所，印度 IAI，TCG CREST，科利尔，印度） ； Georgia Institute of Technology, USA University of Toronto, Canada（佐治亚理工学院，美国 蒙特利尔大学，加拿大） 纠错

AI总结 pact是一种用于混合公式的SMT模型计数器，通过哈希技术实现高效解计数，显著提升了性能。

Comments A preliminary version of this paper appears at the proceedings of Design Automation Conference (DAC) 2025