no code implementations • 30 Jan 2024 • Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
To improve the imperceptibility of perturbations, we refine a psychoacoustic model-based loss with the backing track as an additional masker, a unique accompanying element for singing voices compared to ordinary speech voices.
1 code implementation • 20 Dec 2023 • Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark Barrett
Quantization replaces floating point arithmetic with integer arithmetic in deep neural network models, providing more efficient on-device inference with less power and memory.
no code implementations • 1 Dec 2023 • Yedi Zhang, Peter E. Latham, Andrew Saxe
A long unimodal phase can lead to a generalization deficit and permanent unimodal bias in the overparametrized regime.
1 code implementation • 14 Sep 2023 • Guangke Chen, Yedi Zhang, Fu Song
Our attack is versatile and can work in both white-box and black-box scenarios.
no code implementations • 23 May 2023 • Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
Current adversarial attacks against speaker recognition systems (SRSs) require either white-box access or heavy black-box queries to the target SRS, thus still falling behind practical attacks against proprietary commercial APIs and voice-controlled devices.
1 code implementation • 10 Dec 2022 • Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
Experimental results on QNNs with different quantization bits confirm the effectiveness and efficiency of our approach, e. g., two orders of magnitude faster and able to solve more verification tasks in the same time limit than the state-of-the-art methods.
1 code implementation • 6 Dec 2022 • Yedi Zhang, Fu Song, Jun Sun
In this work, we propose a quantization error bound verification method, named QEBVerif, where both weights and activation tensors are quantized.
no code implementations • 12 Mar 2021 • Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
Verifying and explaining the behavior of neural networks is becoming increasingly important, especially when they are deployed in safety-critical applications.
no code implementations • 27 Nov 2018 • Yedi Zhang, Fu Song, Taolue Chen
Alternating-time temporal logics (ATL/ATL*) represent a family of modal logics for reasoning about agents' strategic abilities in multiagent systems (MAS).