"Comparative experimental data of SymbolDep on ACAS XU and SafeNLP"
收藏DataCite Commons2025-06-13 更新2026-05-03 收录
下载链接：
https://ieee-dataport.org/documents/comparative-experimental-data-symboldep-acas-xu-and-safenlp
下载链接
链接失效反馈官方服务：
资源简介：
"This dataset is the result of experiments comparing SymbolDep, nnenum, \u03b1\u03b2-crown and marabou on ACAS XU and SafeNLP. The verification time limit for each property is set to 5 minutes on ACAS XU and 50 seconds on SafeNLP. All experiments were conducted in the WSL2 environment on Windows 11, using Ubuntu 20.04 as the operating system. In terms of hardware, the CPU is 13th Gen Intel(R) Core(TM) i9-13980HX(with 32 cores), equipped with 16GB of onboard RAM. The GPU is an NVIDIA GeForce RTX 4070, equipped with 8GB of dedicated video memory."
提供机构：
IEEE DataPort
创建时间：
2025-06-13
