Datasets for FormaliSE '25 Paper: Robustness Verification of Video Classification Neural Networks
收藏NIAID Data Ecosystem2026-05-02 收录
数据链接：
官方服务：
资源简介：
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.
创建时间：
2025-01-23
