Neural ODEs
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/laode2022/BoundaryNN
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了用于展示所提出集界可达性方法的安全验证的神经微分方程示例。它还包括了实验中使用的输入集和安全集。数据集的规模涵盖了二维和十二维的设置，其任务是进行神经网络的安全验证。
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
