克里斯托弗·斯特朗。;吴浩泽;Aleksandar Zeljić;凯尔·D·朱利安。;凯兹，盖伊;克拉克·巴雷特;Mykel J.Kochenderfer。 ReLU网络表示的目标函数的全局优化。 （英语） Zbl 1534.68110号 机器。学习。 112，第10号，3685-3712（2023）.MSC公司：60年第68季度 68T05型 90C26型 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Strong}等人，马赫。学习。112，编号10，3685--3712（2023；Zbl 1534.68110） 全文： 内政部 arXiv公司
盖伊·埃米尔;吴浩泽;克拉克·巴雷特;凯兹，盖伊 一种基于SMT的验证二值化神经网络的方法。 （英语） Zbl 1474.68188号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 203-222 (2021).MSC公司：60年第68季度 68T07型 68分20秒 PDF格式BibTeX公司 XML格式引用 \textit{G.Amir}等人，Lect。注释计算。科学。12652，203-222（2021；Zbl 1474.68188） 全文： 内政部 arXiv公司 OA许可证