Yedi Zhang

According to our database, Yedi Zhang authored at least 25 papers between 2019 and 2025.

Collaborative distances:

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

2025

RvLLM: LLM Runtime Verification with Domain Knowledge.

Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong

CoRR, May, 2025

Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems.

Weifei Jin, Yuxin Cao, Junjie Su, Derui Wang, Yedi Zhang, Minhui (Jason) Xue, Jie Hao, Jin Song Dong, Yixian Yang

CoRR, April, 2025

Training Dynamics of In-Context Learning in Linear Attention.

Yedi Zhang, Aaditya K. Singh, Peter E. Latham, Andrew M. Saxe

CoRR, January, 2025

When Are Bias-Free ReLU Networks Effectively Linear Networks?

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

Trans. Mach. Learn. Res., 2025

Verification of Bit-Flip Attacks against Quantized Neural Networks.

Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong

Proc. ACM Program. Lang., 2025

SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers.

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

Proceedings of the 32nd Annual Network and Distributed System Security Symposium, 2025

2024

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.

Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong

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

Revisiting the Conflict-Resolving Problem from a Semantic Perspective.

Jinhao Dong, Jun Sun, Yun Lin, Yedi Zhang, Murong Ma, Jin Song Dong, Dan Hao

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 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