Fuqi Jia

Publication Activity (10 Years)

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

Top Topics

Boolean Variables

Modulo Theories

Top Venues

Publications

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