most citedWork In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.SDShow all

1 paper · 1 filter

cs.SD2023

Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach

Neelanjana Pal, Taylor T Johnson

Formally verifying audio classification systems is essential to ensure accurate signal classification across real-world applications like surveillance, automotive voice commands, a…