Search Results for author:
Found 3 papers, 1 papers with code
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach
Formally verifying audio classification systems is essential to ensure accurate signal classification across real-world applications like surveillance, automotive voice commands, and multimedia content management, preventing potential errors with serious consequences.
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input
This paper presents a case study of the robustness verification approach for time series regression NNs (TSRegNN) using set-based formal methods.
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
This work in progress paper introduces robustness verification for autoencoder-based regression neural network (NN) models, following state-of-the-art approaches for robustness verification of image classification NNs.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
