Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. - Pei Huang 002; Feifei Ma; Cunjing Ge; Jian Zhang 001; Hantao Zhang 001 (IJCAR, 2018)

Approximating Integer Solution Counting via Space Quantification for Linear Constraints. - Cunjing Ge; Feifei Ma; Xutong Ma; Fan Zhang; Pei Huang 002; Jian Zhang 001 (IJCAI, 2019)

Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. - Pei Huang 002; Minghao Liu 001; Ping Wang; Wenhui Zhang; Feifei Ma; Jian Zhang 001 (IJCAI, 2019)

Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. - Pei Huang 002; Minghao Liu 001; Cunjing Ge; Feifei Ma; Jian Zhang 001 (ISSAC, 2019)

Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. - Minghao Liu 001; Fan Zhang; Pei Huang 002; Shuzi Niu; Feifei Ma; Jian Zhang 001 (CP, 2020)

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. - Pei Huang 002; Rundong Li; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (SAT, 2021)

Can Graph Neural Networks Learn to Solve MaxSAT Problem? - Minghao Liu 001; Fuqi Jia; Pei Huang 002; Fan Zhang; Yuchen Sun; Shaowei Cai 001; Feifei Ma; Jian Zhang 001 (CoRR, 2021)

Word Level Robustness Enhancement: Fight Perturbation with Perturbation. - Pei Huang 002; Yuting Yang 002; Fuqi Jia; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (AAAI, 2022)

ε-weakened robustness of deep neural networks. - Pei Huang 002; Yuting Yang 002; Minghao Liu 001; Fuqi Jia; Feifei Ma; Jian Zhang 001 (ISSTA, 2022)

Quantifying Robustness to Adversarial Word Substitutions. - Yuting Yang 002; Pei Huang 002; Feifei Ma; Juan Cao 001; Meishan Zhang; Jian Zhang 001; Jintao Li 001 (CoRR, 2022)

A Prompting-based Approach for Adversarial Example Generation and Robustness Enhancement. - Yuting Yang 002; Pei Huang 002; Juan Cao 001; Jintao Li 001; Yun Lin 001; Jin Song Dong; Feifei Ma; Jian Zhang 001 (CoRR, 2022)

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

Improving Bit-Blasting for Nonlinear Integer Constraints. - Fuqi Jia; Rui Han; Pei Huang 002; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (ISSTA, 2023)

PSMT: Satisfiability Modulo Theories Meets Probability Distribution. - Fuqi Jia; Rui Han; Xutong Ma; Baoquan Cui; Minghao Liu 001; Pei Huang 002; Feifei Ma; Jian Zhang 001 (ASE, 2023)

NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. - Minghao Liu 001; Kunhang Lv; Pei Huang 002; Rui Han; Fuqi Jia; Yu Zhang; Feifei Ma; Jian Zhang 001 (ASE, 2023)

Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning. - Fuqi Jia; Yuhang Dong; Minghao Liu 001; Pei Huang 002; Feifei Ma; Jian Zhang 001 (NeurIPS, 2023)

Quantifying Robustness to Adversarial Word Substitutions. - Yuting Yang 002; Pei Huang 002; Juan Cao 001; Feifei Ma; Jian Zhang 001; Jintao Li 001 (ECML/PKDD (1), 2023)

Investigating the Existence of Holey Latin Squares via Satisfiability Testing. - Minghao Liu 001; Rui Han; Fuqi Jia; Pei Huang 002; Feifei Ma; Hantao Zhang 001; Jian Zhang 001 (PRICAI (2), 2023)

A Dual Prompt Learning Framework for Few-Shot Dialogue State Tracking. - Yuting Yang 002; Wenqiang Lei; Pei Huang 002; Juan Cao 001; Jintao Li 001; Tat-Seng Chua (WWW, 2023)

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

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. - Haoze Wu 001; Omri Isac; Aleksandar Zeljic; Teruhiro Tagomori; Matthew L. Daggitt; Wen Kokke; Idan Refaeli; Guy Amir; Kyle Julian; Shahaf Bassan; Pei Huang 002; Ori Lahav 002; et al. (CAV (2), 2024)

PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity. - Yuting Yang 002; Pei Huang 002; Feifei Ma; Juan Cao 001; Jintao Li 001 (LREC/COLING, 2024)

Parallel Verification for δ-Equivalence of Neural Network Quantization. - Pei Huang 002; Yuting Yang 002; Haoze Wu 001; Ieva Daukantas; Min Wu; Fuqi Jia; Clark W. Barrett (SAIV, 2024)

Are your apps accessible? A GCN-based accessibility checker for low vision users. - Mengxi Zhang; Huaxiao Liu; Shenning Song; Chunyang Chen 001; Pei Huang 002; Jian Zhao (Inf. Softw. Technol., 2024)

A prompt-based approach to adversarial example generation and robustness enhancement. - Yuting Yang 002; Pei Huang 002; Juan Cao 001; Jintao Li 001; Yun Lin 001; Feifei Ma (Frontiers Comput. Sci., 2024)

Don't Confuse! Redrawing GUI Navigation Flow in Mobile Apps for Visually Impaired Users. - Mengxi Zhang; Huaxiao Liu; Yuheng Zhou; Chunyang Chen 001; Pei Huang 002; Jian Zhao (IEEE Trans. Software Eng., 2024)

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. - Fuqi Jia; Yuhang Dong; Rui Han; Pei Huang 002; Minghao Liu 001; Feifei Ma; Jian Zhang 001 (AAAI, 2025)