Datasets for SoSym Journal Submission to FormaliSE'25 Special Edition: Verifying Video Classification Neural Networks for Action Recognition
收藏官方服务：
资源简介：
Contained in the file are variations of the MNIST and GTSRB datasets for use in verifying robustness of 3D convolutional neural networks.
提供机构：
Zenodo创建时间：
2025-12-07
