Zhang, Yedi

8 publications

ICML 2025 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

NeurIPS 2025 RvLLM: LLM Runtime Verification with Domain Knowledge Yedi Zhang, Sun Yi Emma, Annabelle Lee Jia En, Jin Song Dong

ICML 2025 Training Dynamics of In-Context Learning in Linear Attention Yedi Zhang, Aaditya K Singh, Peter E. Latham, Andrew M Saxe

TMLR 2025 When Are Bias-Free ReLU Networks Effectively Linear Networks? Yedi Zhang, Andrew M Saxe, Peter E. Latham

AAAI 2024 Towards Efficient Verification of Quantized Neural Networks Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

ICML 2024 Understanding Unimodal Bias in Multimodal Deep Linear Networks Yedi Zhang, Peter E. Latham, Andrew M Saxe

ICMLW 2024 When Are Bias-Free ReLU Networks like Linear Networks? Yedi Zhang, Andrew M Saxe, Peter E. Latham

AAAI 2019 Probabilistic Alternating-Time Μ-Calculus Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu