Yedi Zhang - RankMe

40 papers A* 10B 1Journal 25Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	LLM-enabled Applications Require System-Level Threat Monitoring. CoRR Yedi Zhang, Haoyu Wang, Xianglin Yang, Jin-Song Dong, Jun Sun
2026	J	`jnl`	SafeClaw-R: Towards Safe and Secure Multi-Agent Personal Assistants. CoRR Haoyu Wang, Zibo Xiao, Yedi Zhang, Christopher M. Poskitt, Jun Sun
2025	—	`conf`	Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. ICML (Position Papers) 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
2025	J	`jnl`	RvLLM: LLM Runtime Verification with Domain Knowledge. CoRR Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong
2025	J	`jnl`	Saddle-to-Saddle Dynamics Explains A Simplicity Bias Across Neural Network Architectures. CoRR Yedi Zhang, Andrew M. Saxe, Peter E. Latham
2025	A*	`conf`	SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers. NDSS Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
2025	J	`jnl`	Towards Powerful and Practical Patch Attacks for 2D Object Detection in Autonomous Driving. CoRR Yuxin Cao, Yedi Zhang, Wentao He, Yifan Liao, Yan Xiao, Chang Li, Zhiyong Huang, Jin Song Dong
2025	J	`jnl`	Towards Stealthy and Effective Backdoor Attacks on Lane Detection: A Naturalistic Data Poisoning Approach. CoRR Yifan Liao, Yuxin Cao, Yedi Zhang, Wentao He, Yan Xiao, Xianglong Du, Zhiyong Huang, Jin Song Dong
2025	A*	`conf`	Training Dynamics of In-Context Learning in Linear Attention. ICML Yedi Zhang, Aaditya K. Singh, Peter E. Latham, Andrew M. Saxe
2025	J	`jnl`	Training Dynamics of In-Context Learning in Linear Attention. CoRR Yedi Zhang, Aaditya K. Singh, Peter E. Latham, Andrew M. Saxe
2025	J	`jnl`	Verification of Bit-Flip Attacks against Quantized Neural Networks. CoRR Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong
2025	J	`jnl`	Verification of Bit-Flip Attacks against Quantized Neural Networks. Proc. ACM Program. Lang. Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong
2025	J	`jnl`	When Are Bias-Free ReLU Networks Effectively Linear Networks? Trans. Mach. Learn. Res. Yedi Zhang, Andrew M. Saxe, Peter E. Latham
2025	A*	`conf`	Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems. USENIX Security Symposium Weifei Jin, Yuxin Cao, Junjie Su, Derui Wang, Yedi Zhang, Minhui Xue, Jie Hao, Jin Song Dong, Yixian Yang
2025	J	`jnl`	Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems. CoRR Weifei Jin, Yuxin Cao, Junjie Su, Derui Wang, Yedi Zhang, Minhui (Jason) Xue, Jie Hao, Jin Song Dong, Yixian Yang
2024	J	`jnl`	A Proactive and Dual Prevention Mechanism against Illegal Song Covers empowered by Singing Voice Conversion. CoRR Guangke Chen, Yedi Zhang, Fu Song, Ting Wang, Xiaoning Du, Yang Liu
2024	—	`conf`	Certified Quantization Strategy Synthesis for Neural Networks. FM (1) Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong
2024	A*	`conf`	Revisiting the Conflict-Resolving Problem from a Semantic Perspective. ASE Jinhao Dong, Jun Sun, Yun Lin, Yedi Zhang, Murong Ma, Jin Song Dong, Dan Hao
2024	A*	`conf`	SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. NDSS Guangke Chen, Yedi Zhang, Fu Song
2024	J	`jnl`	The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. CoRR 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
2024	A*	`conf`	Towards Efficient Verification of Quantized Neural Networks. AAAI Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
2024	A*	`conf`	Understanding Unimodal Bias in Multimodal Deep Linear Networks. ICML Yedi Zhang, Peter E. Latham, Andrew M. Saxe
2024	J	`jnl`	When Are Bias-Free ReLU Networks Like Linear Networks? CoRR Yedi Zhang, Andrew M. Saxe, Peter E. Latham
2023	J	`jnl`	A Theory of Unimodal Bias in Multimodal Learning. CoRR Yedi Zhang, Peter E. Latham, Andrew M. Saxe
2023	J	`jnl`	Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert
2023	J	`jnl`	Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol. Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2023	—	`conf`	QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) Yedi Zhang, Fu Song, Jun Sun
2023	A*	`conf`	QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. USENIX Security Symposium Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
2023	J	`jnl`	QFA2SR: Query-Free Adversarial Transfer Attacks to Speaker Recognition Systems. CoRR Guangke Chen, Yedi Zhang, Zhe Zhao, Fu Song
2023	J	`jnl`	SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. CoRR Guangke Chen, Yedi Zhang, Fu Song
2023	J	`jnl`	Towards Efficient Verification of Quantized Neural Networks. CoRR Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
2022	B	`conf`	CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. SAS Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
2022	J	`jnl`	QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR Yedi Zhang, Fu Song, Jun Sun
2022	A*	`conf`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022	J	`jnl`	QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2021	—	`conf`	BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. CAV (1) Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2021	J	`jnl`	BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. CoRR Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2019	J	`jnl`	Making Agents' Abilities Explicit. IEEE Access Yedi Zhang, Fu Song, Taolue Chen
2019	A*	`conf`	Probabilistic Alternating-Time AAAI Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu
2018	J	`jnl`	Making Agents' Abilities Explicit. CoRR Yedi Zhang, Fu Song, Taolue Chen