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

Pei Huang
DBLP profile ↗ORCID search ↗
×2
Min Wu
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Cubing for Tuning
    AAAI 2026 · Haoze Wu
  2. Efficiently Computing Compact Formal Explanations
    AAAI 2026 ·
    Min Wu
    DBLP profile ↗ORCID search ↗
  3. Parameterized Abstract Interpretation for Transformer Verification
    AAAI 2026 ·
    Pei Huang
    DBLP profile ↗ORCID search ↗
  4. Lemur: Integrating Large Language Models in Automated Program Verification
    ICLR 2024 · Haoze Wu
  5. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 ·
    Pei Huang
    DBLP profile ↗ORCID search ↗