PPaperPicks

Yedi Zhang

11 papers at tracked venues · 9 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICML ×3NDSS ×2AAAI ×1ASE ×1FM ×1NeurIPS ×1OOPSLA ×1USENIX Security ×1

Frequent coauthors

Jin Song Dong
×6
Jun Sun
×4
Fu Song
×4
Guangke Chen
×3
Peter E. Latham
×2
Andrew M. Saxe
×2
Yufan Cai
×1
Xinyue Zuo
×1
Xiaokun Luan
×1
Kailong Wang
×1
Zhe Hou
×1
Yifan Zhang
×1

Papers

  1. Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
    ICML 2025 · 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
  2. RvLLM: LLM Runtime Verification with Domain Knowledge
    NeurIPS 2025 · Yedi Zhang,
    Sun Yi Emma
    ,
    Annabelle Lee Jia En
    ,
    Jin Song Dong
  3. SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers
    NDSS 2025 ·
    Guangke Chen
    , Yedi Zhang,
    Fu Song
    ,
    Ting Wang
    ,
    Xiaoning Du
    ,
    Yang Liu
  4. Training Dynamics of In-Context Learning in Linear Attention
    ICML 2025 · Yedi Zhang,
    Aaditya K. Singh
    ,
    Peter E. Latham
    ,
    Andrew M. Saxe
  5. Verification of Bit-Flip Attacks against Quantized Neural Networks
    OOPSLA 2025 · Yedi Zhang,
    Lei Huang
    ,
    Pengfei Gao
    ,
    Fu Song
    ,
    Jun Sun
    ,
    Jin Song Dong
  6. Whispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems
    USENIX Security 2025 ·
    Weifei Jin
    ,
    Yuxin Cao
    ,
    Junjie Su
    ,
    Derui Wang
    , Yedi Zhang,
    Minhui Xue
    ,
    Jie Hao
    ,
    Jin Song Dong
    ,
    Yixian Yang
  7. Certified Quantization Strategy Synthesis for Neural Networks
    FM 2024 · Yedi Zhang,
    Guangke Chen
    ,
    Fu Song
    ,
    Jun Sun
    ,
    Jin Song Dong
  8. Revisiting the Conflict-Resolving Problem from a Semantic Perspective
    ASE 2024 ·
    Jinhao Dong
    ,
    Jun Sun
    ,
    Yun Lin
    , Yedi Zhang,
    Murong Ma
    ,
    Jin Song Dong
    ,
    Dan Hao
  9. SLMIA-SR: Speaker-Level Membership Inference Attacks against Speaker Recognition Systems
    NDSS 2024 ·
    Guangke Chen
    , Yedi Zhang,
    Fu Song
  10. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    ,
    Haoze Wu
    ,
    Yuting Yang
    ,
    Ieva Daukantas
    ,
    Min Wu
    , Yedi Zhang,
    Clark W. Barrett
  11. Understanding Unimodal Bias in Multimodal Deep Linear Networks
    ICML 2024 · Yedi Zhang,
    Peter E. Latham
    ,
    Andrew M. Saxe