PPaperPicks

Min Wu

3 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3

Frequent coauthors

Pei Huang
DBLP profile ↗ORCID search ↗
×2

Papers

  1. Efficiently Computing Compact Formal Explanations
    AAAI 2026 · Min Wu
  2. Parameterized Abstract Interpretation for Transformer Verification
    AAAI 2026 ·
    Pei Huang
    DBLP profile ↗ORCID search ↗
  3. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    DBLP profile ↗ORCID search ↗