2 code implementations • 19 Jan 2024 • Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
We evaluate the effectiveness of VeriStable across a range of challenging benchmarks including fully-connected feedforward networks (FNNs), convolutional neural networks (CNNs) and residual networks (ResNets) applied to the standard MNIST and CIFAR datasets.
2 code implementations • 17 Jul 2023 • Hai Duong, ThanhVu Nguyen, Matthew Dwyer
Deep Neural Networks (DNNs) have emerged as an effective approach to tackling real-world problems.