Datasets for FormaliSE '25 Paper: Robustness Verification of Video Classification Neural Networks
收藏官方服务：
资源简介：
The data has been separated from the artifact for easier access and use to the community. Contained in the file are variations of the MNIST, GTSRB, and STMNIST datasets for use in verifying robustness of 3D convolutional neural networks.
提供机构：
Zenodo创建时间：
2025-01-22
