Lookahead Branching for Neural Network Verification
神经网络验证中的前瞻分支
Liam Davis, Duo Zhou, Huan Zhang, Guy Katz, Clark Barrett, Haoze Wu
机构
*
Amherst College(阿默斯特学院)
;
University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Hebrew University of Jerusalem(耶路撒冷希伯来大学)
;
Stanford University(斯坦福大学)
机构
*
The University of Manchester(曼彻斯特大学)
;
The University of Melbourne(墨尔本大学)
;
University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
University of Edinburgh(爱丁堡大学)
;
University of Southern California(南加州大学)
;
Fudan University(复旦大学)
;
University of Newcastle(纽卡斯尔大学)