@第{zbMATH07255073条，作者={Bunel、Rudy和Turkaslan、Ilker和Torr、Philip H.S.和Kumar、M.Pawan和Lu、Jingyue和Kohli、Pushmet}，标题={分段线性神经网络验证的分支和界}，FJournal={机器学习研究杂志（JMLR）}，期刊={J.Mach.Learn.Res.}，ISSN＝{1532-4435}，体积={21}，页码={39}，注={Id/No 42}，年份={2020年}，语言={英语}，关键词={68Q60，68T07，90C11}，URL={jmlr.csail.mit.edu/papers/v21/19-468.html}，zbMATH={7255073}，Zbl={1498.68153}}