PPaperPicks

Min Wu

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3

Frequent coauthors

Haoze Wu
×3
Clark W. Barrett
×3
Pei Huang
×2
Xiaofu Li
×1
Dennis Wei
×1
Omri Isac
×1
Yuting Yang
×1
Ieva Daukantas
×1
Yedi Zhang
×1

Papers

  1. Efficiently Computing Compact Formal Explanations
    AAAI 2026 · Min Wu,
    Xiaofu Li
    ,
    Haoze Wu
    ,
    Clark W. Barrett
  2. Parameterized Abstract Interpretation for Transformer Verification
    AAAI 2026 ·
    Pei Huang
    ,
    Dennis Wei
    ,
    Omri Isac
    ,
    Haoze Wu
    , Min Wu,
    Clark W. Barrett
  3. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    ,
    Haoze Wu
    ,
    Yuting Yang
    ,
    Ieva Daukantas
    , Min Wu,
    Yedi Zhang
    ,
    Clark W. Barrett