University of Maryland, College Park（马里兰大学帕克分校）

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers

ReVEAL: 基于图学习的乘法器架构反向工程以提升优化乘法器的代数电路验证

Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang, Cunxi Yu

机构 * University of Maryland, College Park, USA（美国马里兰大学College Park分校） ； TU Wien, Austria（奥地利维也纳技术大学） ； NVIDIA（英伟达公司） ； Hong Kong University of Science and Technology (Guangzhou)（香港科学与技术大学（广州）） 纠错

AI总结 ReVEAL通过图学习方法实现乘法器架构反向工程，提升优化乘法器的代数电路验证效率和准确性。

Comments Accepted by TACAS 2026

AdvPrefix: An Objective for Nuanced LLM Jailbreaks

AdvPrefix: 一种面向 nuanced LLM 模型 jailbreak 的目标

Sicheng Zhu, Brandon Amos, Yuandong Tian, Chuan Guo, Ivan Evtimov

机构 * University of Maryland, College Park（马里兰大学 College Park分校） ； FAIR, Meta（Meta的FAIR） 纠错

AI总结 AdvPrefix 提出了一种新的目标，通过结合高预填充攻击成功率和低负对数似然来选择模型依赖的前缀，以提升 jailbreak 攻击的精确性和有效性。