PPaperPicks

Pei Huang

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3

Frequent coauthors

Fuqi Jia
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Parameterized Abstract Interpretation for Transformer Verification
    AAAI 2026 · Pei Huang
  2. A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
    AAAI 2025 ·
    Fuqi Jia
    DBLP profile ↗ORCID search ↗
  3. Towards Efficient Verification of Quantized Neural Networks
    AAAI 2024 · Pei Huang