Neural ODEs
收藏arXiv2025-09-30 收录
数据链接：
官方服务：
资源简介：
该数据集包含了用于展示所提出集界可达性方法的安全验证的神经微分方程示例。它还包括了实验中使用的输入集和安全集。数据集的规模涵盖了二维和十二维的设置，其任务是进行神经网络的安全验证。
This dataset comprises example cases of Neural Ordinary Differential Equations (Neural ODEs) for safety verification that showcase the proposed set-bounded reachability method. It also includes the input sets and safety sets used in the experiments. The dataset covers 2-dimensional and 12-dimensional scenarios, with the core task focused on neural network safety verification.
提供机构：
CORA toolbox搜集汇总
数据集介绍
以上内容由遇见数据集搜集并总结生成
