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. Drawing from recent research, this study advances the utilization of star-set-based formal verification, extended through reachability analysis, tailored explicitly for Long Short-Term Memory architectures and their Convolutional variations within the audio classification domain. By conceptualizing the classification process as a sequence of set operations, the star set-based reachability approach streamlines the exploration of potential operational states attainable by the system. The paper serves as an encompassing case study, validating and verifying sequence audio classification analytics within real-world contexts. It accentuates the necessity for robustness verification to ensure precise and dependable predictions, particularly in light of the impact of noise on the accuracy of output classifications.
Code (1)
Tasks
Audio ClassificationClassificationManagementMethods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
Text-Independent Speaker Verification Using Long Short-Term Memory Networks
In this paper, an architecture based on Long Short-Term Memory Networks has been proposed for the text-independent scenario which is aimed to capture the temporal speaker-related information by operating over traditional…
Speaker VerificationText-Independent Speaker VerificationDual-label Deep LSTM Dereverberation For Speaker Verification
In this paper, we present a reverberation removal approach for speaker verification, utilizing dual-label deep neural networks (DNNs). The networks perform feature mapping between the spectral features of reverberant and…
Speaker VerificationSaarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification
Saarthi is an agentic AI framework that uses multi-agent collaboration to perform end-to-end formal verification. Even though the framework provides a complete flow from specification to coverage closure, with around 40%…
Towards Probabilistic Verification of Machine Unlearning
The right to be forgotten, also known as the right to erasure, is the right of individuals to have their data erased from an entity storing it. The status of this long held notion was legally solidified recently by the G…
backdoor defenseMachine UnlearningTwo-sample testingScaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learning models. To be applicable to realistic…
BIG-bench Machine LearningCollision Avoidance