arXiv:2504.03650v1 安全公告类型: 交叉 摘要: BoxRL-NNV 是一个 Python 工具，用于通过计算输出变量的边界来检测神经网络中的安全违规行为，给定网络输入变量的边界。这通过使用拉丁超立方取样计算全局极值来完成，并进一步使用 L-BFGS-B 对初始猜测附近的局部优化进行细化。本文介绍了 BoxRL-NNV 的概述，以及对 ACAS Xu 基准部分的结果。工具性能的完整评估，包括与最新工具的基准比较，将在第六届国际神经网络验证竞赛 (VNN-COMP'25) 上呈现。