@文章{JMLR:v25-23-0119，author={Matthias K{{\“o}}nig和Annelot W.Bosman和Holger H.Hoos以及Jan N.van Rijn}，title={批判性评估神经网络验证的最新技术}，journal={机器学习研究杂志}，年份={2024}，体积={25}，数字＝{12}，页数={1--53}，url={http://jmlr.org/papers/v25/23-0119.html}}