Neural ODEs

该数据集包含了用于展示所提出集界可达性方法的安全验证的神经微分方程示例。它还包括了实验中使用的输入集和安全集。数据集的规模涵盖了二维和十二维的设置，其任务是进行神经网络的安全验证。