Yedi Zhang

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

Collaborative distances:

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

2024

When Are Bias-Free ReLU Networks Like Linear Networks?

Yedi Zhang, Andrew M. Saxe, Peter E. Latham

CoRR, 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

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

Guangke Chen, Yedi Zhang, Fu Song

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

Understanding Unimodal Bias in Multimodal Deep Linear Networks.

Yedi Zhang, Peter E. Latham, Andrew M. Saxe

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Certified Quantization Strategy Synthesis for Neural Networks.

Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong

Proceedings of the Formal Methods - 26th International Symposium, 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 M. Saxe

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