| 2025 | ICML | Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods. | 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 | ICML | Training Dynamics of In-Context Learning in Linear Attention. | Yedi Zhang, Aaditya K. Singh, Peter E. Latham, Andrew M. Saxe |
| 2025 | NDSS | 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 |
| 2024 | AAAI | Towards Efficient Verification of Quantized Neural Networks. | Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett |
| 2024 | FM | Certified Quantization Strategy Synthesis for Neural Networks. | Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong |
| 2024 | ICML | Understanding Unimodal Bias in Multimodal Deep Linear Networks. | Yedi Zhang, Peter E. Latham, Andrew M. Saxe |
| 2024 | NDSS | SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems. | Guangke Chen, Yedi Zhang, Fu Song |
| 2023 | CAV | QEBVerif: Quantization Error Bound Verification of Neural Networks. | Yedi Zhang, Fu Song, Jun Sun |
| 2022 | SAS | CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. | Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu |
| 2021 | CAV | BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. | Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen |
| 2019 | AAAI | Probabilistic Alternating-Time | Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu |