Pei Huang

According to our database, Pei Huang authored at least 25 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A prompt-based approach to adversarial example generation and robustness enhancement.

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Feifei Ma

Frontiers Comput. Sci., August, 2024

Are your apps accessible? A GCN-based accessibility checker for low vision users.

Mengxi Zhang, Huaxiao Liu, Shenning Song, Chunyang Chen, Pei Huang, Jian Zhao

Inf. Softw. Technol., 2024

Parallel Verification for δ-Equivalence of Neural Network Quantization.

Pei Huang, Yuting Yang, Haoze Wu, Ieva Daukantas, Min Wu, Fuqi Jia, Clark W. Barrett

Proceedings of the AI Verification - First International Symposium, 2024

PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity.

Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Jintao Li

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

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

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Towards Efficient Verification of Quantized Neural Networks.

Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A Dual Prompt Learning Framework for Few-Shot Dialogue State Tracking.

Yuting Yang, Wenqiang Lei, Pei Huang, Juan Cao, Jintao Li, Tat-Seng Chua

Proceedings of the ACM Web Conference 2023, 2023

Investigating the Existence of Holey Latin Squares via Satisfiability Testing.

Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 2023

Quantifying Robustness to Adversarial Word Substitutions.

Yuting Yang, Pei Huang, Juan Cao, Feifei Ma, Jian Zhang, Jintao Li

Proceedings of the Machine Learning and Knowledge Discovery in Databases: Research Track, 2023

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning.

Fuqi Jia, Yuhang Dong, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization.

Minghao Liu, Kunhang Lv, Pei Huang, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.

Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Improving Bit-Blasting for Nonlinear Integer Constraints.

Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 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

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement.

Yuting Yang, Pei Huang, Juan Cao, Jintao Li, Yun Lin, Jin Song Dong, Feifei Ma, Jian Zhang

CoRR, 2022

Quantifying Robustness to Adversarial Word Substitutions.

Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Meishan Zhang, Jian Zhang, Jintao Li

CoRR, 2022

ε-weakened robustness of deep neural networks.

Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Word Level Robustness Enhancement: Fight Perturbation with Perturbation.

Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Can Graph Neural Networks Learn to Solve MaxSAT Problem?

Minghao Liu, Fuqi Jia, Pei Huang, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang

CoRR, 2021

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5.

Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks.

Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing.

Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang

Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 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

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing.

Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018