Pei Huang

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 27

Top Topics

Satisfiability Testing

Bootstrap Sampling

Top Venues

Publications

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Feifei Ma
A prompt-based approach to adversarial example generation and robustness enhancement. Frontiers Comput. Sci. 18 (4) (2024)
Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Feifei Ma
A prompt-based approach to adversarial example generation and robustness enhancement. Frontiers Comput. Sci. 18 (4) (2024)
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
Towards Efficient Verification of Quantized Neural Networks. AAAI (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Jintao Li
PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity. LREC/COLING (2024)
Mengxi Zhang, Huaxiao Liu, Shenning Song, Chunyang Chen, Pei Huang, Jian Zhao
Are your apps accessible? A GCN-based accessibility checker for low vision users. Inf. Softw. Technol. 174 (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. NeurIPS (2023)
Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). AAAI (2023)
Yuting Yang, Wenqiang Lei, Pei Huang, Juan Cao, Jintao Li, Tat-Seng Chua
A Dual Prompt Learning Framework for Few-Shot Dialogue State Tracking. WWW (2023)
Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) (2023)
Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE (2023)
Yuting Yang, Pei Huang, Juao Cao, Feifei Ma, Jian Zhang, Jintao Li
Quantifying Robustness to Adversarial Word Substitutions. ECML/PKDD (1) (2023)
Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. ASE (2023)
Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang
Improving Bit-Blasting for Nonlinear Integer Constraints. ISSTA (2023)
Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang
A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. CoRR (2022)
Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li
Quantifying Robustness to Adversarial Word Substitutions. CoRR (2022)
Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang
Word Level Robustness Enhancement: Fight Perturbation with Perturbation. AAAI (2022)
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ε-weakened robustness of deep neural networks. ISSTA (2022)
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang
ε-weakened Robustness of Deep Neural Networks. CoRR (2021)
Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. SAT (2021)
Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang
Can Graph Neural Networks Learn to Solve MaxSAT Problem? CoRR (2021)
Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang
Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. CP (2020)
Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. IJCAI (2019)
Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI (2019)
Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang
Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. ISSAC (2019)
Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang
Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. IJCAR (2018)
Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark W. Barrett
Parallel Verification for δ-Equivalence of Neural Network Quantization. SAIV (2014)