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…