机构
*
University of Southern California(南加州大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Stanford University(斯坦福大学)
The LLM Proposes, the Executive Disposes: A Self-Verifying Agent Instrument that Dissociates Commitment Drift from Binding Drift in Long-Horizon Agents
机构
*
Florida International University(佛罗里达国际大学)
;
Arizona State University(亚利桑那州立大学)
;
NEC Laboratories America(美国 NEC 实验室)
;
Singapore Management University(新加坡管理大学)
GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
GoGoTB:基于规范驱动覆盖闭合的智能体式RTL验证
Xin Xin, Jincheng Lou, Junhui Li, Jinglin Yan, Panda Xiao, Di Wu, Haixiao Li, Weicong Lu, Weijian Fan, Xinyu Qu, Yuxiang Zhao, Min Yu, Zhixiong Di, Yibo Lin
机构
*
Tencent(腾讯)
;
School of Integrated Circuits, Peking University(北京大学集成电路学院)
;
Southwest Jiaotong University(西南交通大学)
;
Institute of Electronic Design Automation, Peking University(北京大学电子设计自动化研究所)
;
Beijing Advanced Innovation Center for Integrated Circuits(北京集成电路高精尖创新中心)