PPaperPicks

Haoze Wu

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×4ICLR ×1

Frequent coauthors

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

Papers

  1. Cubing for Tuning
    AAAI 2026 · Haoze Wu,
    Clark W. Barrett
    ,
    Nina Narodytska
  2. Efficiently Computing Compact Formal Explanations
    AAAI 2026 ·
    Min Wu
    ,
    Xiaofu Li
    , Haoze Wu,
    Clark W. Barrett
  3. Parameterized Abstract Interpretation for Transformer Verification
    AAAI 2026 ·
    Pei Huang
    ,
    Dennis Wei
    ,
    Omri Isac
    , Haoze Wu,
    Min Wu
    ,
    Clark W. Barrett
  4. Lemur: Integrating Large Language Models in Automated Program Verification
    ICLR 2024 · Haoze Wu,
    Clark W. Barrett
    ,
    Nina Narodytska
  5. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    , Haoze Wu,
    Yuting Yang
    ,
    Ieva Daukantas
    ,
    Min Wu
    ,
    Yedi Zhang
    ,
    Clark W. Barrett