PPaperPicks

Yedi Zhang

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

DBLP profile ↗ORCID search ↗

Venues

ICML ×3AAAI ×1NeurIPS ×1

Frequent coauthors

Pei Huang
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods
    ICML 2025 · Yedi Zhang
  2. RvLLM: LLM Runtime Verification with Domain Knowledge
    NeurIPS 2025 · Yedi Zhang
  3. Training Dynamics of In-Context Learning in Linear Attention
    ICML 2025 · Yedi Zhang
  4. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    DBLP profile ↗ORCID search ↗
  5. Understanding Unimodal Bias in Multimodal Deep Linear Networks
    ICML 2024 · Yedi Zhang