Yedi Zhang

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 20

Top Topics

Speaker Recognition

Communicating Agents

Quantitative Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion. CoRR (2024)
Yedi Zhang, Andrew Saxe, Peter E. Latham
When Are Bias-Free ReLU Networks Like Linear Networks? CoRR (2024)
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
Towards Efficient Verification of Quantized Neural Networks. AAAI (2024)
Yedi Zhang, Peter E. Latham, Andrew Saxe
A Theory of Unimodal Bias in Multimodal Learning. CoRR (2023)
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yedi Zhang, Fu Song, Jun Sun
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) (2023)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. CoRR (2023)
Guangke Chen, Yedi Zhang, Fu Song
SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. CoRR (2023)
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
Towards Efficient Verification of Quantized Neural Networks. CoRR (2023)
Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. USENIX Security Symposium (2023)
Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR (2022)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE (2022)
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. SAS (2022)
Yedi Zhang, Fu Song, Jun Sun
QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR (2022)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. CAV (1) (2021)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. CoRR (2021)
Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu
-Calculus. AAAI (2019)
Yedi Zhang, Fu Song, Taolue Chen
Making Agents' Abilities Explicit. IEEE Access 7 (2019)
Yedi Zhang, Fu Song, Taolue Chen
Making Agents' Abilities Explicit. CoRR (2018)