Pei Huang

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

DBLP profile ↗ORCID search ↗

Venues

Frequent coauthors

Haoze Wu

×2

Min Wu

×2

Clark W. Barrett

×2

Dennis Wei

×1

Omri Isac

×1

Fuqi Jia

×1

Yuhang Dong

×1

Rui Han

×1

Minghao Liu

×1

Feifei Ma

×1

Jian Zhang

×1

Yuting Yang

×1

Papers

Parameterized Abstract Interpretation for Transformer Verification
AAAI 2026 · Pei Huang,
Dennis Wei
,
Omri Isac
,
Haoze Wu
,
Min Wu
,
Clark W. Barrett
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025 ·
Fuqi Jia
,
Yuhang Dong
,
Rui Han
, Pei Huang,
Minghao Liu
,
Feifei Ma
,
Jian Zhang
Towards Efficient Verification of Quantized Neural Networks
AAAI 2024 · Pei Huang,
Haoze Wu
,
Yuting Yang
,
Ieva Daukantas
,
Min Wu
,
Yedi Zhang
,
Clark W. Barrett