@收款{zbMATH07306405，作者={Bak，Stanley and Tran，Hoang-Dung and Hobbs，Kerianne and Johnson，Taylor T.}，Title={用于验证{ReLU}神经网络}的改进几何路径枚举，BookTitle={计算机辅助验证。第32届国际会议，CAV 2020，洛杉矶，加利福尼亚州，美国，2020年7月21日至24日。诉讼程序。第一部分}，ISBN＝{978-3-030-53287-1；978-3-030-53288-8}，页码={66--96}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-53288-8_4}，关键词={68Q60,68T07}，zbMATH={7306405}，Zbl={1478.68142}}