Yedi Zhang

According to our database, Yedi Zhang authored at least 14 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion.

Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu

CoRR, 2024

Towards Efficient Verification of Quantized Neural Networks.

Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks.

Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert

Proc. ACM Program. Lang., October, 2023

Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach.

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen

ACM Trans. Softw. Eng. Methodol., May, 2023

A Theory of Unimodal Bias in Multimodal Learning.

Yedi Zhang, Peter E. Latham, Andrew Saxe

CoRR, 2023

SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems.

Guangke Chen, Yedi Zhang, Fu Song

CoRR, 2023

QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems.

Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song

Proceedings of the 32nd USENIX Security Symposium, 2023

QEBVerif: Quantization Error Bound Verification of Neural Networks.

Yedi Zhang, Fu Song, Jun Sun

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.

Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun

CoRR, 2022

CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.

Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu

Proceedings of the Static Analysis - 29th International Symposium, 2022

QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks.

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

Making Agents' Abilities Explicit.

Yedi Zhang, Fu Song, Taolue Chen

IEEE Access, 2019

Probabilistic Alternating-Time <i>µ</i>-Calculus.

Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019