智能AI 2026-06-08 None 代理人工智能控制评估中的攻击选择会显着降低安全性 来源: Catherine Ge-Wang, Tyler Crosse, Benjamin Hadad IV, Joachim Schaeffer, Ram Potham, Tyler Tracy
智能AI 2026-06-08 None SafeGene:可重复使用的适配器,用于可转移的安全对准 来源: Yanghan Wang, Zhiqiang Kou, Fu Feng, Jing Wang, Xin Geng
智能AI 2026-06-08 None Lean4Agent:代理工作流程和轨迹的形式化建模和验证 来源: Ruida Wang, Jerry Huang, Pengcheng Wang, Xuanqing Liu, Luyang Kong, Tong Zhang
智能AI 2026-06-08 None DiBS:扩散通知分支选择 来源: Bo Liu, Yuan Xie, Yuan Gao, Xiaolong Luo, Peng Ye, Tao Chen, Fujun Han