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)

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)

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)

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)

Automatic Construction of HD Maps for Simulation-Based Testing of Autonomous Driving Systems. - Siqi Wang; Changwen Li; Tiantian Sun; Fuqi Jia; Rongjie Yan; Jun Yan (TASE, 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)