Nov, 2023

基于状态转换的形式化验证长短期记忆音频分类器

TL;DR通过使用基于星集的形式验证方法验证音频分类系统,本研究旨在简化长短时记忆结构和卷积变体在音频分类领域中的可及性分析,从而在实际应用中确保准确的信号分类,强调了在噪声对输出分类准确性产生影响的情况下,鲁棒性验证对于确保精确可靠的预测的必要性。