Huang, Pei

8 publications

AAAI 2025 A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang

AAAI 2024 Towards Efficient Verification of Quantized Neural Networks Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

AAAI 2023 Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract) Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

ECML-PKDD 2023 Quantifying Robustness to Adversarial Word Substitutions Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li

NeurIPS 2023 Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

AAAI 2022 Word Level Robustness Enhancement: Fight Perturbation with Perturbation Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang

IJCAI 2019 Approximating Integer Solution Counting via Space Quantification for Linear Constraints Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang

IJCAI 2019 Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang