Pei Huang

Group Experience

Graduated 2022
PhD

Publications

17 publications

2025

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025Fuqi Jia Yuhang Dong Rui HanPei HuangMinghao Liu Feifei Ma Jian Zhang
PDF Code

2024

Investigating the Existence of Holey Latin Squares via Satisfiability Testing
PRICAI 2023Minghao Liu Rui Han Fuqi JiaPei HuangFeifei MaHantao ZhangJian Zhang
Code
Parallel Verification for δ-Equivalence of Neural Network Quantization
SAIV 2024 (co-located with CAV)Pei HuangYuting YangHaoze WuIeva DaukantasMin WuFuqi JiaClark Barrett

2023

Best Student Abstract Honorable Mention Award
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023Minghao LiuPei HuangFuqi Jia Fan ZhangYuchen SunShaowei CaiFeifei Ma Jian Zhang
Code
ACM SIGSOFT Distinguished Paper Award
Improving Bit-Blasting for Nonlinear Integer Constraints
ISSTA 2023Fuqi Jia Rui HanPei HuangMinghao Liu Feifei Ma Jian Zhang
Code
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization
ASE 2023Minghao Liu Kunhang LvPei HuangRui Han Fuqi JiaYu ZhangFeifei Ma Jian Zhang
Code
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia Rui Han Xutong Ma Baoquan Cui Minghao LiuPei HuangFeifei Ma Jian Zhang
Code
Quantifying Robustness to Adversarial Word Substitutions
ECML-PKDD 2023Yuting YangPei HuangJuao CaoFeifei Ma Jian ZhangJintao Li
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023Fuqi Jia Yuhang Dong Minghao LiuPei HuangFeifei Ma Jian Zhang

2022

𝜀 -weakened robustness of deep neural networks
ISSTA 2022Pei HuangYuting YangMinghao Liu Fuqi Jia Feifei Ma Jian Zhang
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022Pei HuangYuting YangFuqi Jia Minghao Liu Feifei Ma Jian Zhang

2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
SAT 2021Pei HuangRundong Li Minghao Liu Feifei Ma Jian Zhang

2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks
CP 2020Minghao Liu Fan ZhangPei HuangShuzi NiuFeifei Ma Jian Zhang

2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019Cunjing Ge Feifei Ma Xutong Ma Fan ZhangPei HuangJian Zhang
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing
ISSAC 2019Pei HuangMinghao Liu Cunjing Ge Feifei Ma Jian Zhang
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019Pei HuangMinghao Liu Ping WangWenhui ZhangFeifei Ma Jian Zhang

2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing
IJCAR 2018Pei HuangFeifei Ma Cunjing Ge Jian ZhangHantao Zhang