Jia, Fuqi

4 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 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

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